ProofRun – a local verification receipt for AI coding agents Von Hackernews 16. August 2026 security ORIGINAL QUELLE:github.com Quelle: Hackernews Comments Tags: comments, global, pronounce, Security, verification