ProofRun – a local verification receipt for AI coding agents(github.com)
5 pointsby yebiguo5 hours ago1 comment