Quality and Verification
Verification is the constraint of agentic delivery: when agents write most of the code, generation is cheap and checking is scarce. A team ships as fast as it can prove the output right, through tests, deterministic gates, acceptance evidence and evals, not as fast as it can produce code.
Written by
-
Benedikt Stemmildt Founder & Co-CEO
Updated:
Agentic Engineering 5
Our position. We do not let the model decide when its work is done. A guardrail (opens in a new tab) is a gate in code the agent cannot route around, such as a hook that runs the tests, never a line in a prompt asking it nicely. We set the limit on agent fan-out to what the team can check well (opens in a new tab), and raise it only when the checking improves.
The checking runs in layers. Weak changes are caught at authoring time, deterministic gates run from the language server through CI, acceptance evidence shows that a feature works, and outcome metrics show whether more output became more delivery. AI amplifies whatever quality practice a team already has, so these layers decide the result more than the model does.
Start here
- The velocity trap — Why generation can outpace verification and reduce real delivery throughput.
- The surrounding quality system — Why AI amplifies the engineering and quality practices already present in an organization.
- Deterministic quality gates — How feedback loops from language servers through CI constrain agent behavior.
- Agentic continuous delivery - How continuous delivery rules and the deployment pipeline keep agent-generated changes safe to release.
- Quality and productivity metrics — The measures that distinguish more generated output from better delivery outcomes.
- Coding benchmarks — What coding-agent leaderboards measure and what they leave out.
- Evaluating non-deterministic systems — How to evaluate variable agent output with reproducible evidence and layered checks.
Related
- Software Factories and Harness Engineering: how the gates become stations of a pipeline.
- Creator and verifier roles: why the agent that builds should not be the one that checks.
- Dark Factory Patterns: what happens when production volume outruns validation.
- Verification literacy: the skill a person needs to judge agent output.
- Methodologies and Frameworks: the working cycles these checks sit inside.
- Measuring impact: how to tell whether better checks improved delivery.
Resources
Code Review & QA
- Baz (opens in a new tab) - AI code review tool that runs specialized reviewers per pull request to catch breaking changes and enforce team conventions.
- Braintrust Loop (opens in a new tab) - Braintrust feature for analyzing logs, optimizing prompts, and building eval datasets through natural language.
- Checksum AI (opens in a new tab) - AI tool that generates, runs, and maintains end-to-end tests automatically, claiming roughly 70% of failures self-resolve without engineer intervention.
- CodeRabbit (opens in a new tab) - AI pull-request reviewer with context-aware feedback, line-by-line suggestions, and real-time chat.
- Continue (opens in a new tab) - Source-controlled AI checks that run as native GitHub status checks to enforce engineering standards on pull requests, powered by the open-source Continue CLI; Apache-2.0.
- Graphite (opens in a new tab) - GitHub-native developer tooling for stacked diffs, code review, and merge queues.
- Greptile (opens in a new tab) - AI code reviewer that indexes the full codebase to give context-aware PR feedback and bug detection.
- Hyground (opens in a new tab) - Sovereign AI SRE agent that resolves incidents and automates operations inside the customer’s own environment.
- Knip (opens in a new tab) - (knip.dev (opens in a new tab)) ISC-licensed JavaScript and TypeScript project linter that finds unused files, dependencies, and exports, with an MCP server (opens in a new tab) so coding agents can act on dead-code reports.
- Open Code Review (opens in a new tab) - Alibaba’s AI code review CLI (Go, Apache 2.0) pairing deterministic file selection with LLM agents, claiming higher precision at ~1/9 the tokens of general-purpose agents.
- PMAT (Pragmatic AI Labs Agent Toolkit) (opens in a new tab) - Pragmatic AI Labs MCP server with code analysis, technical-debt grading, and 19 tools that work zero-config across 17+ languages to make agent-written code more deterministic.
- Qodo (opens in a new tab) - AI platform for code review, test generation, and code-integrity checks across the development workflow (formerly CodiumAI).
- Pythea (opens in a new tab) - Typed Python client for reasoning APIs with offline evaluation utilities, a Bernoulli probe for prompt-contamination detection, and the Strawberry (opens in a new tab) hallucination-detection toolkit.
- ReviewCerberus (opens in a new tab) - MIT-licensed AI reviewer (Python, TypeScript, LangChain) that diffs a git branch and reports logic, security, and performance issues, with a Chain-of-Verification mode cutting false positives.
- Sentry Seer (opens in a new tab) - Sentry’s AI debugger that uses production error context to flag breaking changes, root-cause issues, and propose fixes.
- The Verifier Agent (opens in a new tab) - Two-agent Pi harness where an independent verifier re-runs the builder’s work with read-only tools, prompts corrections, and escalates to a human after three loops.
- Wispbit (opens in a new tab) - Open-source AI code reviewer focused on keeping team coding standards alive in pull requests.
- sentrux (opens in a new tab) - (sentrux.dev (opens in a new tab)) Pure-Rust real-time architectural sensor (single binary, 52 languages via tree-sitter) that scores structural code quality and exposes it to AI agents over MCP.
Testing & Evals
- Braintrust (opens in a new tab) - Observability and evaluation tooling for building production AI products, with eval datasets, traces, and prompt iteration.
- DeepEval (opens in a new tab) - Open-source LLM evaluation framework with metrics for testing and unit-testing model outputs.
- Harness (awizemann) (opens in a new tab) - AI-driven user testing for iOS Simulator, macOS, and web apps where an LLM agent drives the UI from a plain-language goal and reports friction.
- Helicone (opens in a new tab) - Open-source observability and monitoring platform for LLM applications, logging requests, costs, and latency.
- Langfuse (opens in a new tab) - Open-source LLM engineering platform for tracing, evaluation, prompt management, and metrics.
- LangSmith (opens in a new tab) - LangChain’s platform for tracing, testing, and monitoring LLM and agent applications.
- Patronus AI (opens in a new tab) - Evaluation and monitoring platform for testing LLM outputs against quality and safety criteria.
- Ragas (opens in a new tab) - Open-source evaluation framework for retrieval-augmented generation pipelines.
- Rodney (opens in a new tab) - CLI browser automation (Go, wraps the Rod library) built for coding agents to drive a headless Chrome session and capture screenshots for demos.
- Showboat (opens in a new tab) - CLI that an agent drives to build a Markdown demo document, capturing each command’s real output directly so a reviewer can replay the evidence.
- TDD Guard (opens in a new tab) - Hook-based TDD enforcement for Claude Code that blocks edits when tests are missing or skipped.
- promptfoo (opens in a new tab) - Open-source tool for testing, evaluating, and red-teaming LLM prompts and applications.
- prompt-vs-metric-eval (opens in a new tab) - Pre-registered Python study comparing bare-metric linter messages against behavioral prompts for fixing code smells, using a deterministic judge to distinguish genuine fixes from linter gaming.
- wasmsh agent-harness (opens in a new tab) - Randomized compatibility harness for the wasmsh WASM bash sandbox where an LLM generates fresh tasks and auto-classifies failures into a backlog of sandbox gaps.
Benchmarks
- AutoCodeBenchmark (opens in a new tab) - Code generation benchmark with 3,920 problems for evaluating LLM coding ability.
- CooperBench (opens in a new tab) - Stanford and SAP benchmark of 652 tasks measuring how well two coding agents cooperate, finding they succeed far less often than a single agent.
- Harbor (opens in a new tab) - Framework for evaluating coding agents (Claude Code, OpenHands, Codex CLI) with benchmark authoring, parallel runs, and RL rollout generation.
- How Tech Companies Measure AI Impact (opens in a new tab) - Pragmatic Engineer deep dive with a CTO interview on how GitHub, Google, Dropbox, Monzo, Atlassian, and 13 other companies measure AI tool impact on developers.
- LLM SQL Benchmark (opens in a new tab) - Fast agentic text-to-SQL benchmark with a check-correct debug loop, scoring 25 questions on result correctness rather than the query text, runnable in-browser via DuckDB-WASM.
- OpenRouter Rankings (opens in a new tab) - Weekly LLM rankings drawn from real OpenRouter usage, showing which models developers actually call.
- SWE-Bench (opens in a new tab) - Leaderboard benchmarking AI agents on real GitHub issue-resolution tasks from open-source repositories.
- SkillsBench (opens in a new tab) - Evaluation framework that scores AI agent skills across 84 expert-curated tasks, 7 models, and 3 agent harnesses.
- Spark Arena (opens in a new tab) - Community leaderboard ranking LLM throughput in tokens/sec on NVIDIA DGX Spark across context lengths, concurrency, quantization (FP8, BF16, AWQ), and runtimes (vLLM, SGLang).
- gbrain-evals (opens in a new tab) - Reproducible benchmarks for personal-knowledge and memory agent stacks (BrainBench plus LongMemEval) with sealed qrels, tolerance bands, and judge-version pinning to resist gaming.
- live-bench (opens in a new tab) - LAN-only live benchmarking platform (FastAPI, click CLI, Vue 3 frontend) for streaming local-model evaluation results onto a presentation-grade dashboard.
Productivity Metrics
- AI Engineer Coach (opens in a new tab) - Microsoft VS Code extension that turns local AI session logs from any harness into a dashboard with 45 anti-pattern rules and practice scores; fully local.
- Bloom Filter AI (opens in a new tab) - Process intelligence that tracks how AI agents and humans execute work end-to-end across software teams.
- DX Platform (opens in a new tab) - Developer experience measurement product built by DORA-style researchers to quantify productivity and the shift to AI-augmented engineering.
- Engineering Social Graph (opens in a new tab) - Python tool that mines GitHub pull-request history to map developer collaboration networks, detecting teams via Louvain clustering, scoring expertise, and flagging bus-factor risk; MIT licensed.
Learning Platforms
- Exercism (opens in a new tab) - Free practice-and-mentorship site spanning 79 programming languages with 7,948+ exercises, automated code analysis, and human mentors.
- tests4geeks (opens in a new tab) - Coding-test service for hiring assessments across Java, PHP, C#, JavaScript, C++, Python, and SQL, with unlimited candidates, custom branding, and shareable test links.
In this section
- Agentic continuous delivery
The delivery rules for agent-written changes and what each pipeline stage checks, for teams letting agents commit to a production codebase.
- Coding benchmarks
Coding benchmarks measure whether an agent makes a small set of unit tests pass, mostly in Python and often on one function. They leave out the parts of the job with the most leverage: turning a fuzzy problem into a good specification, and keeping a codebase easy to change over many edits.
- Deterministic quality gates
How feedback loops from language servers through CI constrain agent behavior.
- Evaluating non-deterministic systems
How to test output that varies between runs, from unit tests to pass-rate baselines, and what a public eval leaderboard does and does not prove.
- Quality and productivity metrics
Under agentic coding, volume metrics such as lines of code or pull requests become harmful, because rewarding volume floods review with unchecked output. The measures that hold are first-pass acceptance, rework rate and the DORA delivery metrics, read for agent changes against the human baseline.
- The surrounding quality system
AI magnifies the engineering practices a team already has. Solid source control, observability and small batches turn into speed, while a review bottleneck or a brittle pipeline turns into longer delays and more breakage. The rules, reviews and hard checks around the agent steer what it produces.
- The velocity trap
Why generation can outpace verification and reduce real delivery throughput.