Andrea Griffiths’s shelf
“Proof Agent: independent check on AI-generated diffs. Runs the sealed verify pipe and reports PASS, FAIL, or PARTIAL. It doesn’t judge the code itself.”
Their post on X ↗
Changelog Stand-down
Pings you every Monday with what shipped. Needs a repo, a destination, and your attention. Will not stop caring about your changelog.
Not specified3 bookmarks on XShared 5 Sep 2026
Proof Agent
Independent verification for AI-generated diffs. Coordinates the sealed verify.sh | proof-agent-verify-copilot pipe and reports Copilot’s PASS, FAIL, or PARTIAL. Does not judge the code itself.
Not specified0 bookmarks on XShared 7 Oct 2026
Made this? Let people know
Badge code for a website
<a href="https://botshelf.dev/shelf/acolombiadev/"><img src="https://botshelf.dev/badge.svg" alt="On Bot Shelf" width="148" height="28"></a>