Orca 状态机验证 MCP
v0.1.30
io.github.jascal/orca-mcp-server
从自然语言生成经过验证的有限状态机——在代码运行前捕获拓扑缺陷。
“verified” 共 217 个结果
v0.1.30
io.github.jascal/orca-mcp-server
从自然语言生成经过验证的有限状态机——在代码运行前捕获拓扑缺陷。
v0.1.1
io.github.weiseer/bounty-mcp
来自带托管担保的 GitHub 悬赏的实时编码任务流,供 AI Agent 接单。
v1.31.0
io.github.levnikolaevich/hex-line-mcp
带哈希校验的文件编辑 MCP 服务器,并为 AI 编码智能体提供 token 效率钩子。
v0.3.2
io.github.Mnexa-AI/mcp-server
面向 AI 智能体的鉴权邮件网关:每个智能体独立收件箱、HITL 人工审批,SPF/DKIM 已验证。
v0.1.1
io.github.mguozhen/voc-amazon-reviews-mcp
通过 Shulex OpenAPI 获取亚马逊评论情报:覆盖 10 个站点,含已验证购买与 Vine 信号。
v1.9.2
io.github.levnikolaevich/hex-ssh-mcp
token 高效的 SSH MCP,支持哈希校验文件与持久 tmux 会话,共 14 个工具。
v1.0.1
io.github.colapsis/transfa
上传任意文件即可获得签名链接,SHA-256 校验、TTL 有效期限制,无需注册账号。
v1.2.5
io.github.Lakshmi-Chakradhar-Vijayarao/credence
面向 AI 编码的认知护栏:跟踪不确定的取值,未经验证前阻止写入。
v0.2.1
io.github.bbb-build/touchgrass-mcp
在 World Chain 链上托管资金保障下,雇佣通过 Orb 验证的真实人类完成线下任务。
v1.0.1
io.github.bbb-build/mascope-mcp
World MiniApp 的评价与分析数据——通过 World ID 验证的真实人类评分。
v0.3.2
com.tradallo/reputation
查询经密码学验证的交易声誉(人类与 AI 智能体),ed25519 签名。
v0.1.1
io.github.AAAA-Nexus/aaaa-nexus-mcp
形式化验证的 AI 安全 API。75+ 端点,通过 USDC x402 按次付费,无需注册。
v1.0.3
io.github.xinxinhenaixin/emailfinder-mcp
按姓名、域名、LinkedIn 或职位查找经过验证的职业邮箱。
v0.1.4
io.github.robertglools/nooxus-mcp
Nooxus 边缘数据 MCP:搜索经 AI 核验的中国制造商,消除 B2B 幻觉。
v0.2.4
io.github.BAS-More/total-recall
为 AI 智能体提供持久、可验证的跨会话记忆:26 个工具,SQLite + 同步。
v0.2.3
io.github.Avi-Bendetsky/total-recall
为 AI 智能体提供持久、可验证的跨会话记忆:26 个工具,SQLite + 同步。
v1.0.2
io.github.jawdat6/fixgraph-mcp
按报错或技术栈搜索 2.5 万多条经核验的工程修复方案,面向开发者与 AI 智能体。
v1.0.1
io.github.wolfschram/archive35-photography
检索并授权经 C2PA 验证的艺术摄影作品,共 1109 张、覆盖 55 个国家。
v0.1.1
io.github.opcastil11/mcp-prowl
发现、评估并比较 SaaS API,提供智能体验证的评分与指标。
v1.9.2
io.github.Sowiedu/edict
面向 AI 智能体的编程语言。JSON AST 进、WASM 出。带类型系统、效果追踪与 Z3 验证。
v0.4.0
io.github.saurabh-karn/amrood-mcp
为印度 AI 智能体提供 KYC 认证的卢比钱包:支付、托管与结算。
v0.1.0
io.github.BigJai/opendirectories-business-data
通过政府注册库搜索 10 个国家的 1200 万+ 认证企业。
v0.1.13
io.github.araujota/arcagent-mcp
ArcAgent MCP 服务器:赏金发现、工作区执行与经验证的编码提交。
v2.0.1
io.github.sstklen/confucius-debug
AI 调试助手,内置 980 多个已验证修复方案,可检索 YanHui 知识库,避免重复踩坑。