ThoughtProof

thoughtproof-mcp

thoughtproof-mcp — ローカル stdio。主要ツールは verify_decision（支出に関する DQL／取り消し不能な終了に関する Sentinel）。execute が true になるのは ALLOW の場合のみです。

ThoughtProof 用の MCP サーバー — AI エージェントの実行前に判断を検証します。

主要ツール： verify_decision。ツール内で DQL（支出／チェックアウト）または Sentinel（取り消し不能な終了）に振り分け、フェイルクローズの execute フラグを返します。ネイティブの ALLOW の場合のみ execute が true になります。

このパッケージは、Cursor、Claude Desktop、Windsurf、Cline などのデスクトップ／CLI ホスト向けのローカル stdio MCP サーバー（Node 18 以降）です。リモート 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 を尊重する必要があります。

提案されたアクションを実行する前のゲートです。振り分けはツール内で行われ、エージェントへの質問ではありません。

パラメーター	型	デフォルト	説明
mandate	string	(必須)	ユーザーが明示した目標／指示
proposed_action	string	(必須)	エージェントが実行しようとしていること
reasoning	string	(必須)	エージェント自身の計画／推論
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"
}

execute が true になるのは ALLOW の場合のみです。REVIEW、UNCERTAIN、BLOCK、タイムアウト、HTTP 402／4xx／5xx、キーの欠落時は execute: false を返します。フェイルクローズはプロトコル層ではソフトな動作であり、このツールがホストを強制停止することはありません。再計画は新しい呼び出しで行います（新しいレシート）。

verify_claim

RV（POST /v1/check）を使って、あらゆる主張や AI が生成した推論を検証します。変更はありません。

パラメーター	型	デフォルト	説明
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 レジストリでエージェントの複合信頼スコアを検索します。

Parameter	Type	Description
agentId	string	検索するエージェント ID
domain	string	任意のドメインフィルター

verify_trade

トレーディングエージェント向けの任意の実行前ゲートです（Sentinel → RV）。デフォルトの verify_decision 経路ではありません。VERIFY_TRADE.md を参照してください。

設定

環境変数	デフォルト	説明
DQL_API_KEY	(なし)	デフォルトの verify_decision 経路用の DQL キー（dqlk_…）。別名：THOUGHTPROOF_DQL_KEY
SENTINEL_API_KEY	(なし)	任意。mode=sentinel の場合、または自動ルーティングで Sentinel が選択された場合にのみ必要です。フォールバック：X-Sentinel-Key としての THOUGHTPROOF_API_KEY
DQL_SANDBOX	(オフ)	DQL 呼び出しで sandbox: true を送信するには 1 を設定します（ローカル／開発環境のみ）
THOUGHTPROOF_API_KEY	(なし)	verify_claim／verify_trade／Sentinel フォールバック用の運用者キー
THOUGHTPROOF_BASE_URL	https://api.thoughtproof.ai	RV API のベース URL（verify_claim）

Sentinel キーが設定されていない場合、「Sentinel key not configured」とともに execute: false が返されます。暗黙に 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 のリスティング／Guard スキャナーのスコアは、レビューの基準としてのみ使用してください。これは次のアクションの承認ではなく、フェイルクローズのホスト動作（ALLOW の場合にのみ execute: true）の代替にもなりません。

関連項目

• ThoughtProof — AI エージェント向けの意思決定検証
• pot-cli — 推論検証用の CLI
• ERC-8004 — 自律エージェントレジストリ

ライセンス

MIT — ThoughtProof