ProofRun – a local verification receipt for AI coding agents

(github.com)

5 points | by yebiguo 11 hours ago ago

1 comments