ProofRun – a local verification receipt for AI coding agents from Hacker News on 2026-08-16 03:22 (#77Q91) Comments
