OmarchyTV Installer⭐
编程开发
把 MIT 开源电视启动器 OmarchyTV 装到你的 Android TV、Google TV、LG 或三星电视上
codingengineering
Proof Agent
它能做什么
独立核验 AI 生成的代码差异：跑一套封闭的验证流程，报告 PASS、FAIL 或 PARTIAL，不评价代码本身
Independent verification for AI-generated diffs: runs a sealed verify pipeline and reports PASS, FAIL, or PARTIAL without judging the code itself.
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.
标签
如何添加
- 点击「添加到 Grok」，会在 x.ai 打开分享页。
- 确认名称、Skills 和 Routines 后点击 Import。
- 重新授权它需要的应用（Gmail、日历等）。作者账号里的任何内容都不会被复制。
这些 Bot 由社区分享，本站没有逐一审核。连接你的账号前，请先看清它能访问什么。
💬 评论（0）
- 还没有评论，来说第一句吧！
💻 更多编程开发类 Bot
查看全部 →Engenheiro⭐
编程开发
葡萄牙语的技术主管：调度你电脑上的各个 AI CLI（grok、droid、kiro、devin、codex、opencode 等）来摸底、设计、实现
codingsaleslearning
Herdr Conductor⭐
编程开发
用 herdr CLI 编排编程 agent，扛长而重的构建会话。
作者 Terp Network - Public Blockchain00
coding
OS Reviewer⭐
编程开发
开源贡献小队（侦察、规划/编排、编码）里的最终审核者
coding
Shep⭐
编程开发
通过 bercail 在 Herdr 上编排编程智能体
codingshippingdev
DirTech⭐
编程开发
技术部长席，管团队技术与技术教育，主张必须可核
codingshippingdev