MCP server

ThoughtProof

io.github.ThoughtProof/thoughtproof-mcp

Checked 28 Oct 2026, 09:04 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Website Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 28 Oct 2026, 09:04 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add thoughtproof-mcp -- npx -y thoughtproof-mcp@0.3.2

Claude Desktop

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

Codex (config.toml)

[mcp_servers.thoughtproof-mcp]
command = "npx"
args = ["-y","thoughtproof-mcp@0.3.2"]

Gemini CLI

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

Cursor

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

VS Code

{"servers":{"thoughtproof-mcp":{"type":"stdio","command":"npx","args":["-y","thoughtproof-mcp@0.3.2"]}}}

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

Agent Control — Action Gate
Agent asks a person go/stop/wait before Slack, CRM or risky steps. $49 for 30 days.
FLOCORE Governed MCP
Governed MCP front door to FLOCORE; write calls need human approval and signed receipts.
GHOSBC Safety Gate
Agent governance with A2A/Shopify/MCP trust audits, action screening, and decision UI.
Odile Gate
Free, no signup: per-app keys, allowed calls, approvals and an audit log for your API or model key.
Redu
Agent-native cloud, EU-hosted. Provision VMs, networks & databases on redu.cloud via MCP.
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Insight Oracle
Decision-input integrity for onchain AI agents: verify oracle prices before signing a trade.
Narrowhighway Concordance
Deterministic claim verification with receipts across ~60 domains. No model in the loop.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.ThoughtProof/thoughtproof-mcp.svg)](https://aptlynx.net/servers/io.github.ThoughtProof/thoughtproof-mcp)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents