ProofRun – a local verification receipt for AI coding agents

5 pointsposted 11 hours ago
by yebiguo
(github.com)

1 Comments