03:22
2026-08-16
github.com
ai-tools
ProofRun – a local verification receipt for AI coding agents
ProofRun, a new open-source tool released at version 0.2.0, provides cryptographic verification receipts for AI coding agents by binding test results to the exact code state, with statuses of PASS, FA…