ThoughtProof

Name: ThoughtProof
Author: ThoughtProof

作者：ThoughtProofバージョン 0.3.2i★ –iパソコンで動く

レジストリ名io.github.ThoughtProof/thoughtproof-mcp

インストール

概要

作者による説明（英語の原文）

Pre-action gate: verify before pay/trade/write/deploy. execute=true only on ALLOW.

PopNx MCPの3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
利用状況i未計測★ –

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

接続方法: パソコンで動く
トランスポート: stdio
カテゴリ: 開発者ツール
入力が必要なもの：DQL_API_KEY, SENTINEL_API_KEY, THOUGHTPROOF_API_KEY

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

基本チェック：1項目中1項目に合格
あなたのパソコンで、あなたのユーザーと同じ権限（ファイル、ネットワーク、アプリ）で動きます。
自分で入力するもの： DQL_API_KEY, SENTINEL_API_KEY, THOUGHTPROOF_API_KEY

「秘密」と表示された値は、あなたのアカウントの鍵です。絶対に人に教えたり、チャットに貼り付けたりしないでください。

必要なもの

npmNode.jsのインストール（npxコマンドに必要）

どのアプリを使っていますか？

ClaudeClaude CodeCursorVS CodeChatGPT

上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。

Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます

{
  "mcpServers": {
    "thoughtproof": {
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "DQL_API_KEY": "your-value",
        "SENTINEL_API_KEY": "your-value",
        "THOUGHTPROOF_API_KEY": "your-value"
      }
    }
  }
}

ターミナルでこれを実行します

claude mcp add thoughtproof --env DQL_API_KEY=your-value --env SENTINEL_API_KEY=your-value --env THOUGHTPROOF_API_KEY=your-value -- npx -y thoughtproof-mcp

動かす前に、空欄の値を入力してください。

Cursorで開く

または、設定を自分でコピーする

プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます

{
  "mcpServers": {
    "thoughtproof": {
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "DQL_API_KEY": "your-value",
        "SENTINEL_API_KEY": "your-value",
        "THOUGHTPROOF_API_KEY": "your-value"
      }
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

VS Codeで開く

または、設定を自分でコピーする

プロジェクトの .vscode/mcp.json に貼り付けます

{
  "servers": {
    "thoughtproof": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "DQL_API_KEY": "your-value",
        "SENTINEL_API_KEY": "your-value",
        "THOUGHTPROOF_API_KEY": "your-value"
      }
    }
  }
}

これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。

選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。

自分で入力する値

DQL_API_KEY 秘密 env
Required for DQL-backed verify_decision calls. Sentinel and RV paths use their respective keys.
SENTINEL_API_KEY 秘密 env
Optional; needed when mode=sentinel or auto-route picks Sentinel.
THOUGHTPROOF_API_KEY 秘密 env
Optional operator key for verify_claim / verify_trade / Sentinel fallback.

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

できること

パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月6日にチェック

✓ 合格
作者とリポジトリが一致
レジストリ名は、リポジトリを所有するGitHubアカウント ThoughtProof で確認済みです
… 未チェック
今もメンテナンスされている
このリポジトリはまだGitHubから読み取っていません
… 未チェック
ライセンスがある
このリポジトリはまだGitHubから読み取っていません
– 対象外
エンドポイントが応答する
これはパソコンで動くため、インターネット上のエンドポイントはありません
– 対象外
OAuthでサインイン
パソコンで動き、代わりにローカルの設定を使います
… 未チェック
ツールの説明に隠れた指示がない
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです

開発者ツールのほかのサーバーとの比較i

このカテゴリのほかの1385件のうち0%よりスターが多い
このカテゴリのほかの1385件のうち43%より最近レジストリに公開
基本チェックの結果が、このカテゴリのほかの1385件のうち100%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

ThoughtProofは安全ですか？

当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか？

入力が必要なもの：DQL_API_KEY, SENTINEL_API_KEY, THOUGHTPROOF_API_KEY

パソコンで動きますか、それともクラウドですか？

あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません（サーバー自体がオンラインサービスを呼び出す場合を除きます）。

今もメンテナンスされていますか？

GitHubリポジトリの最終更新は–、最新バージョン（0.3.2）がレジストリに届いたのは3 か月前です。

どのアプリで使えますか？

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにNode.jsも必要です。

代わりに使えるものは？

同じカテゴリには：GitHub, Desktop Commander, Cloudflare MCP

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方：★ GitHubスターi3つの柱：レビュー · チェック · 利用状況i更新＝最新バージョンをレジストリに公開した日i

GitHub

作者：github

Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

パソコンでもクラウドでも★ 34,245MIT3 日前更新

インストール

Desktop Commander

作者：wonderwhy-er

MCP server for terminal commands, file operations, and process management

パソコンで動く★ 10,225MIT15 日前更新

インストール

Cloudflare MCP

作者：cloudflare

Cloudflare MCP servers

クラウドで動く★ 4,446Apache-2.014 か月前更新

インストール

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

thoughtproof-mcp

thoughtproof-mcp — local stdio. Hero tool verify_decision (DQL spend / Sentinel irreversible exit). execute is true only on ALLOW. Sentinel ALLOW must match a verified signed export.

MCP server for ThoughtProof — pre-execution decision verification for AI agents.

Hero tool: verify_decision. It routes inside the tool to DQL (spend / checkout) or Sentinel (irreversible exit) and returns a fail-closed execute flag. execute is true only on a native ALLOW.

This package is a local stdio MCP server (Node 18+) for Desktop / CLI hosts such as Cursor, Claude Desktop, Windsurf, and Cline. It is not a remote HTTP MCP server. It is not a Grok Web/Mobile custom connector.

Get keys at https://app.thoughtproof.ai/pricing.

Unpublished work is documented in UNRELEASED.md.

Quick Start

"mcpServers": { "thoughtproof": { "command": "npx", "args": ["-y", "thoughtproof-mcp@0.3.2"], "env": { "DQL_API_KEY": " " } } } }

Install with npx -y thoughtproof-mcp@0.3.2. Works with Claude Desktop, Cursor, Windsurf, Cline, and other local stdio MCP clients.

Tools

`verify_before_action` / `verify_decision` (hero)

verify_before_action is an alias of verify_decision (identical schema + handler). Soft fail-closed: host must honor execute=false.

Pre-execution gate for a proposed action. Routing is inside the tool — not an agent quiz.

Parameter	Type	Default	Description
`mandate`	string	(required)	User's stated goal / instruction
`proposed_action`	string	(required)	What the agent is about to do
`reasoning`	string	(required)	The agent's own plan / reasoning
`context`	string	(optional)	Extra evidence
`mode`	`dql` / `sentinel` / `auto`	`auto`	Explicit surface, or auto-route

Auto-route: spend / checkout / booking / purchase / payment / cart / Stripe / price / budget / cap → DQL. High-blast irreversible exit without that language (publish, delete, deploy, send-to-prod, memory write) → Sentinel. Unsure → DQL. Explicit mode wins. RV / PLV are not on this path.

Camera mandate: do not put the overshoot in proposed_action or reasoning (for example, do not write “price is above the cap”). The verifier has to find the mismatch.

Envelope (always this shape):

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

execute is true only on ALLOW. REVIEW, UNCERTAIN, BLOCK, timeouts, HTTP 402/4xx/5xx, and missing keys return execute: false. Fail-closed is soft at the protocol layer — the tool does not hard-stop the host. Replan is a new call (new receipt).

`verify_claim`

Verify any claim or AI-generated reasoning via RV (POST /v1/check). Unchanged.

Parameter	Type	Default	Description
`claim`	string	(required)	The text to verify
`stakeLevel`	`low` / `medium` / `high` / `critical`	`medium`	Risk level — higher stakes trigger deeper verification
`domain`	`financial` / `medical` / `legal` / `code` / `general`	`general`	Domain context for specialized verification
`speed`	`fast` / `standard` / `deep`	`standard`	Verification depth

`check_agent_score`

Look up an agent's composite trust score on the ERC-8004 registry.

Parameter	Type	Description
`agentId`	string	Agent ID to look up
`domain`	string	Optional domain filter

`verify_trade`

Optional pre-execution gate for trading agents (Sentinel → RV). Not the default verify_decision path. See VERIFY_TRADE.md.

Configuration

Environment Variable	Default	Description
`DQL_API_KEY`	(none)	DQL key (`dqlk_…`) for the default `verify_decision` path. Alias: `THOUGHTPROOF_DQL_KEY`
`SENTINEL_API_KEY`	(none)	Optional. Required only when `mode=sentinel` or auto-route picks Sentinel. Fallback: `THOUGHTPROOF_API_KEY` as `X-Sentinel-Key`
`DQL_SANDBOX`	(off)	Set to `1` to send `sandbox: true` on DQL calls (local/dev only)
`THOUGHTPROOF_API_KEY`	(none)	Operator key for `verify_claim` / `verify_trade` / Sentinel fallback
`THOUGHTPROOF_BASE_URL`	`https://api.thoughtproof.ai`	RV API base URL (`verify_claim`)

A missing Sentinel key returns execute: false with “Sentinel key not configured” — it does not silently call DQL.

Development

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

For local MCP clients, point command at node and args at dist/index.js after npm run build.

Security

See SECURITY.md for supported versions, private reporting (security@thoughtproof.ai), and key handling (dqlk_… for MCP hero — never commit real keys).

HOL listing / Guard scanner score is a review baseline only. It is not next-action authorization and not a substitute for fail-closed host behavior (execute: true only on ALLOW).

ThoughtProof — Decision verification for AI agents
pot-cli — CLI for reasoning verification
ERC-8004 — Autonomous Agent Registry

License

MIT — ThoughtProof

ThoughtProof

概要

PopNx MCPの3つの柱

できること

インストール

インストールの前に

自分で入力する値

できること

基本チェックi

作者とリポジトリが一致

今もメンテナンスされている

ライセンスがある

エンドポイントが応答する

OAuthでサインイン

ツールの説明に隠れた指示がない

開発者ツールのほかのサーバーとの比較i

よくある質問

代わりの候補

GitHub

Desktop Commander

Cloudflare MCP

作者のREADME

thoughtproof-mcp

Quick Start

Tools

verify_before_action / verify_decision (hero)

verify_claim

check_agent_score

verify_trade

Configuration

Development

Security

Related

License

`verify_before_action` / `verify_decision` (hero)

`verify_claim`

`check_agent_score`

`verify_trade`