Independent verification for AI-generated diffs: runs a sealed verify pipeline and reports PASS, FAIL, or PARTIAL without judging the code itself.
What this Grok bot does
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.
Proof Agent at a glance
Proof Agent is an on demand coding bot shared by @acolombiadev and first listed on 2026-10-14. It works when you message it rather than on a timer, which keeps usage low. 4 independent public catalogs list it, and its x.ai share link was last checked live on 2026-10-15.
Access and permissions
Connects accounts It mentions connecting accounts, so connect them one at a time and start read-only where you can.
- Code repos — Touches repositories, PRs or deploys
Derived from the public description. The live configuration on x.ai is the source of truth — review it before adding.
Before you add Proof Agent
- Give it read-only repository access first and keep merging in human hands.
- Open the x.ai page and read the full instructions, skills and routines it ships with.
Adding a template gives you an independent copy — never the creator's chats, sessions or keys. How adding a Grok Bot template works.
More from @acolombiadev
Changelog Stand-down
@acolombiadev
Every Monday, a plain summary of what the team shipped