Execution grounded code review and sandbox engine
AI code review that proves its findings before it opens its mouth. When it suspects a bug it writes a test that fails only if the bug is real, runs that test in a network isolated sandbox, applies its own suggested fix, and runs it again. When it suspects a security hole it writes a proof of concept and tries it.
- Thirteen stages from webhook to posted review. A Go edge receiver verifies the signature and pushes to Redis Streams, and an orchestrator takes it from there.
- A whole repository AST and semantic graph, built with Tree-sitter and pgvector, computes the blast radius of a change instead of guessing it. The call graph diagrams in the PR body are measured, never drawn by a model.
- The execution layer runs on gVisor and Docker with zero network egress, and teardown is verified once per review.
- Bring your own key across Anthropic, OpenAI and Google. Runs air gapped. Reviews pull requests on GitHub, GitLab, Bitbucket and Azure DevOps.
- No emoji anywhere in its output, enforced by a test that fails the build if one gets in.
- Go
- Python
- TypeScript
- LangGraph
- pgvector
- Redis Streams
- gVisor
- Docker
Anything it cannot reproduce is dropped before a human ever sees it.
- Deep Scan
- 2 subsystems · 3 changed regions · TypeScript
- Symbol Scope
- issueRefund, onWebhook
- AST Verification
- 128 symbols resolved, cross-file impact mapped
- Security Gate
- 1 exposure, highest critical
- Execution Proof
- 1 of 4 findings reproduced, 3 discarded
Refund amount is taken from the untrusted webhook body