LeoStehlik/proof-loop

Repo-local verification protocol for AI coding agents: acce…