ProofRun – a local verification receipt for AI coding agents

5 points | by yebiguo 11 hours ago

1 comments