HackerGit Trending Discord Star

LeoStehlik/proof-loop

Repo-local verification protocol for AI coding agents: acceptance criteria, separate verifier roles, proof artifacts, and evidence-backed done claims.

2 best points · 2 comments · 1 Hacker News post · 11 GitHub stars · View on GitHub

Hacker News discussions