ProofRun – a local verification receipt for AI coding agents

 (github.com)

5 points | by yebiguo 11 hours ago ago

1 comments