How Verify Checks Code: Semantic Analysis, Runtime Previews, and Why It’s Not Just Another AI Review Tool

Aviator Verify is a code verification tool that checks AI-generated code against pre-approved acceptance criteria rather than just reviewing the diff. Unlike linters (which check syntax/style) or AI reviewers (which infer intent from the diff), Verify captures intent before implementation begins, then validates the running code using AST analysis, live execution tests on preview deployments, and team-defined invariants. Each criterion gets routed to the most appropriate verification method and produces auditable evidence. The workflow: agree on a spec upfront, let an agent implement it, submit via MCP, and review behavior verdicts with proof instead of scrolling through thousands of lines of diff.