proof-agent

What problem does it solve?

Proof Agent prevents AI-generated code changes from slipping through review by requiring an independent verifier to check security, correctness, and factual claims using concrete evidence rather than self-approval.

Core Features & Use Cases

• Adversarial, separate-agent verification: Spawns an independent verifier so the worker cannot validate its own output.
• Static diff-based security review: Reviews the git diff without executing code or running tests, and requires specific file/line/snippet evidence for verdicts.
• Auto-verify triggers for high-risk edits: Verifies automatically when enough files change or when sensitive patterns appear (auth/secret/permission, Dockerfile, .env).

Quick Start

Tell your agent: “Verify that this change is safe for production and report PASS, FAIL, or PARTIAL with file/line evidence.”