ProofRun – a local verification receipt for AI coding agents
Summary
ProofRun is an open-source CLI tool that provides cryptographically verifiable receipts for AI coding agents by binding test results to the exact code state. It runs real subprocess checks (e.g., pytest) and reports PASS/STALE/NOT RUN/FAIL offline, enabling reproducible verification in CI/CD and development workflows. The project emphasizes exact command matching, offline operation, and transparent accountability for AI-assisted coding.