ProofRun – a local verification receipt for AI coding agents(github.com)5 points by yebiguo 4 hours ago | 0 comments