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

2 points | by egordev 11 hours ago