ProofRun – a local verification receipt for AI coding agents

ProofRun is a tool that cryptographically verifies which checks actually ran against your current code by binding test results to a fingerprint of your exact code state, including git commits and uncommitted changes. It solves the problem of AI coding agents claiming tests pass when they may have run them several edits ago or simply inferred the result without actually executing them. The tool uses real subprocess execution rather than LLM verification, providing four definitive statuses (PASS, FAIL, STALE, NOT RUN) with no guessing involved.