Show HN: Proof Loop – I make my coding agents prove they finished the task

Category: devtools

Tags: ai-coding-agents, verification, cli-tool

Score: 6.3/10 (Innovation: 6, Technical: 5, Documentation: 8, Utility: 6)

Proof Loop is a lightweight protocol and CLI tool that makes AI coding agents verify task completion by freezing acceptance criteria before implementation, separating builder and verifier roles, and requiring durable proof artifacts. It's interesting because it addresses a real trust gap in AI-assisted development by enforcing a mechanical gate that prevents agents from claiming work is done without fresh verification.

Target audience: backend devs, devops

Repository: https://github.com/LeoStehlik/proof-loop · Python · MIT · 1 stars

View on Hacker News