ThoughtProof

thoughtproof-mcp

thoughtproof-mcp — 本地 stdio。核心工具 verify_decision（DQL 支出 / Sentinel 不可逆退出）。仅当结果为 ALLOW 时，execute 才为 true。

ThoughtProof 的 MCP 服务 — 面向 AI Agent 的执行前决策验证。

核心工具： verify_decision。它会在工具内部路由到 DQL（支出 / 结账）或 Sentinel（不可逆退出），并返回一个默认拒绝的 execute 标志。仅当原生结果为 ALLOW 时，execute 才为 true。

此软件包是一个本地 stdio MCP 服务（Node 18+），供 Cursor、Claude Desktop、Windsurf 和 Cline 等桌面端 / 命令行主机使用。它不是远程 HTTP MCP 服务，也不是 Grok Web/Mobile 自定义连接器。

请前往 https://app.thoughtproof.ai/pricing 获取密钥。

未发布的工作记录在 UNRELEASED.md 中。

快速开始

{
  "mcpServers": {
    "thoughtproof": {
      "command": "npx",
      "args": ["-y", "[email protected]"],
      "env": {
        "DQL_API_KEY": "<YOUR_DQL_VERIFY_KEY>"
      }
    }
  }
}

使用 npx -y [email protected] 安装。适用于 Claude Desktop、Cursor、Windsurf、Cline 和其他本地 stdio MCP 客户端。

工具

verify_before_action / verify_decision（核心）

verify_before_action 是 verify_decision 的别名（架构和处理程序完全相同）。采用软性默认拒绝：主机必须遵守 execute=false。

对拟议操作进行执行前把关。路由在工具内部完成，而不是让 Agent 回答测验。

参数	类型	默认值	说明
mandate	string	(必填)	用户明确提出的目标 / 指令
proposed_action	string	(必填)	Agent 即将执行的操作
reasoning	string	(必填)	Agent 自己的计划 / 推理
context	string	(可选)	额外证据
mode	dql / sentinel / auto	auto	指定接口，或自动路由

自动路由： 支出 / 结账 / 预订 / 购买 / 付款 / 购物车 / Stripe / 价格 / 预算 / 上限 → DQL。不含上述词语的高影响不可逆退出操作（发布、删除、部署、发送到生产环境、写入记忆）→ Sentinel。不确定时 → DQL。显式指定的 mode 优先。RV / PLV 不在此路径上。

相机指令： 不要在 proposed_action 或 reasoning 中写入超出上限的情况（例如，不要写“价格超过上限”）。验证器必须自行发现不匹配。

封装（始终采用此结构）：

{
  "verdict": "ALLOW",
  "execute": true,
  "objections": [],
  "receipt_id": "dql_…",
  "surface": "dql",
  "axes": [],
  "recommendation": "execute"
}

仅当结果为 ALLOW 时，execute 才为 true。遇到 REVIEW、UNCERTAIN、BLOCK、超时、HTTP 402/4xx/5xx 或缺少密钥时，均返回 execute: false。在协议层面，默认拒绝是软性的 — 工具不会强制停止主机。重新规划需要发起新的调用（生成新的回执）。

verify_claim

通过 RV 验证任何声明或 AI 生成的推理（POST /v1/check）。保持不变。

参数	类型	默认值	说明
claim	string	(必填)	要验证的文本
stakeLevel	low / medium / high / critical	medium	风险等级 — 风险越高，触发的验证越深入
domain	financial / medical / legal / code / general	general	用于专门验证的领域上下文
speed	fast / standard / deep	standard	验证深度

check_agent_score

查询 ERC-8004 注册表中 Agent 的综合信任评分。

参数	类型	描述
agentId	string	要查询的 Agent ID
domain	string	可选的域筛选条件

verify_trade

交易 Agent 的可选执行前关卡（Sentinel → RV）。这不是默认的 verify_decision 路径。详见 VERIFY_TRADE.md。

配置

环境变量	默认值	描述
DQL_API_KEY	(none)	默认 verify_decision 路径使用的 DQL 密钥（dqlk_…）。别名：THOUGHTPROOF_DQL_KEY
SENTINEL_API_KEY	(none)	可选。仅当 mode=sentinel 或自动路由选择 Sentinel 时需要。回退方式：将 THOUGHTPROOF_API_KEY 用作 X-Sentinel-Key
DQL_SANDBOX	(off)	设为 1，即可在 DQL 调用中发送 sandbox: true（仅限本地/开发环境）
THOUGHTPROOF_API_KEY	(none)	用于 verify_claim / verify_trade / Sentinel 回退的操作员密钥
THOUGHTPROOF_BASE_URL	https://api.thoughtproof.ai	RV API 基础 URL（verify_claim）

缺少 Sentinel 密钥时会返回 execute: false 和 “Sentinel key not configured”，不会静默调用 DQL。

开发

git clone https://github.com/ThoughtProof/thoughtproof-mcp.git
cd thoughtproof-mcp
npm install
npm run build
npm test
npm run dev          # Run with tsx (hot reload)
npm run inspect      # Test with MCP Inspector

对于本地 MCP 客户端，在 npm run build 后，将 command 指向 node，并将 args 指向 dist/index.js。

安全

支持的版本、私密报告（[email protected]）和密钥处理方式（MCP hero 使用 dqlk_…，切勿提交真实密钥）请参阅 SECURITY.md。

HOL listing / Guard scanner 评分仅作为审查基准。它不代表下一步操作的授权，也不能替代主机的故障关闭行为（仅在 ALLOW 时才返回 execute: true）。

相关内容

• ThoughtProof — 面向 AI Agent 的决策验证
• pot-cli — 用于推理验证的 CLI
• ERC-8004 — 自主 Agent 注册表

许可证

MIT — ThoughtProof