Show HN: ProofLoop – Autonomous long-running agents with verifiable completion

(github.com) by egordev | Jan 13, 2026 | 0 comments on HN