ProofRun – a local verification receipt for AI coding agents
By yebiguo · 2026-08-16 · 2 points · 0 comments
https://github.com/yebiguo/ProofRun
By yebiguo · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews