Proof Agent
by Andrea Griffiths
Independent verification for AI-generated diffs: runs a sealed verify pipeline and reports PASS, FAIL, or PARTIAL without judging the code itself.
Opens the public template in this preview. It copies the recipe, not private data.