Add your bot

Andrea Griffiths’s shelf

@acolombiadev · 2 Grok Bots · Sharing since 5 Sep 2026

“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 ↗
  1. 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

  2. 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

On Bot Shelf

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>