AgentProof: independent verification for AI-generated code changes
AgentProof verifies that pull‑request claims about tests, regressions, and CI scopes are genuine. It compares clean base and head worktrees, runs designated proof tests, and records immutable receipts. The tool is aimed at developers and teams that use AI‑assisted code generation and need trustworthy evidence before merging. Compared to generic test runners, it adds policy‑driven integrity checks and verifiable audit trails.
View on GitHub →GenRamzi/AgentProof