ProofRun – a local verification receipt for AI coding agents

ProofRun doesn't judge whether your code is correct. It proves — cryptographically, not by asking nicely — which checks actually ran against the exact code you have right now. An AI coding agent says ...