OmarchyTV Installer⭐
Coding & Dev
Gets OmarchyTV, the MIT open-source TV launcher, installed on your Android TV, Google TV, LG webOS or Samsung Tizen TV.
codingengineering
Proof Agent
What it does
Independent verification for AI-generated diffs: runs a sealed verify pipeline and reports PASS, FAIL, or PARTIAL without judging the code itself.
独立核验 AI 生成的代码差异：跑一套封闭的验证流程，报告 PASS、FAIL 或 PARTIAL，不评价代码本身
Official description on x.ai
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.
Tags
How to add it
- Click “Add to Grok”. The share page opens on x.ai.
- Review the name, skills and routines, then click Import.
- Reconnect any apps it needs (Gmail, Calendar…). Nothing from the author’s account is copied.
Bots are shared by the community and not reviewed by this site. Check what a bot can access before connecting your accounts.
💬 Comments (0)
- No comments yet. Be the first!
💻 More Coding & Dev bots
View all →Engenheiro⭐
Coding & Dev
A Portuguese-language tech lead that orchestrates the AI CLIs on your computer (grok, droid, kiro, devin, codex, opencode) to map, design and implement.
codingsaleslearning
Herdr Conductor⭐
Coding & Dev
Orchestrates coding agents through the herdr CLI for long, heavy build sessions.
by Terp Network - Public Blockchain00
coding
OS Reviewer⭐
Coding & Dev
OS Reviewer is the final reviewer of an open-source contribution crew (scout, planner/orchestrator, coder).
coding
Shep⭐
Coding & Dev
Orchestrates coding agents on Herdr through bercail
codingshippingdev
DirTech⭐
Coding & Dev
A Secretary of Technology bot that owns all tech and tech education for your bot team and reports to your chief of staff. It keeps claims honest:...
codingshippingdev