ThoughtProof MCP Server

Name: ThoughtProof MCP Server
Author: io.github.ThoughtProof

io.github.ThoughtProof/thoughtproof-mcp

Repository Registry

What is the ThoughtProof MCP server?

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

How to install ThoughtProof

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Environment / auth

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

Claude Desktop

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "thoughtproof-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "DQL_API_KEY": "<YOUR_DQL_API_KEY>",
        "SENTINEL_API_KEY": "<YOUR_SENTINEL_API_KEY>",
        "THOUGHTPROOF_API_KEY": "<YOUR_THOUGHTPROOF_API_KEY>"
      }
    }
  }
}

Cursor

~/.cursor/mcp.json

{
  "mcpServers": {
    "thoughtproof-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "DQL_API_KEY": "<YOUR_DQL_API_KEY>",
        "SENTINEL_API_KEY": "<YOUR_SENTINEL_API_KEY>",
        "THOUGHTPROOF_API_KEY": "<YOUR_THOUGHTPROOF_API_KEY>"
      }
    }
  }
}

Windsurf

~/.codeium/windsurf/mcp_config.json

{
  "mcpServers": {
    "thoughtproof-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "DQL_API_KEY": "<YOUR_DQL_API_KEY>",
        "SENTINEL_API_KEY": "<YOUR_SENTINEL_API_KEY>",
        "THOUGHTPROOF_API_KEY": "<YOUR_THOUGHTPROOF_API_KEY>"
      }
    }
  }
}

VS Code

.vscode/mcp.json

{
  "servers": {
    "thoughtproof-mcp": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "DQL_API_KEY": "<YOUR_DQL_API_KEY>",
        "SENTINEL_API_KEY": "<YOUR_SENTINEL_API_KEY>",
        "THOUGHTPROOF_API_KEY": "<YOUR_THOUGHTPROOF_API_KEY>"
      }
    }
  }
}

Claude Code

claude mcp add thoughtproof-mcp --env DQL_API_KEY=<YOUR_DQL_API_KEY> --env SENTINEL_API_KEY=<YOUR_SENTINEL_API_KEY> --env THOUGHTPROOF_API_KEY=<YOUR_THOUGHTPROOF_API_KEY> -- npx -y thoughtproof-mcp