thoughtproof/thoughtproof-mcp

thoughtproof/thoughtproof-mcp

от thoughtproof
MCP-сервер ThoughtProof проверяет AI-рассуждения мультимодельным консенсусом: 3-4 LLM, red-team и синтезатор выносят вердикт ALLOW/BLOCK/UNCERTAIN. Помогает разработчикам безопасно принимать решения.

thoughtproof-mcp

npm version CI License: MIT

MCP server for ThoughtProof — verify AI reasoning with adversarial multi-model consensus.

3–4 LLMs (Grok, Gemini, DeepSeek, Sonnet) independently evaluate every claim. A dedicated red-team model critiques their verdicts. A synthesizer (Sonnet) weighs everything and returns ALLOW, BLOCK, or UNCERTAIN with confidence score and objections.

Quick Start

{
  "mcpServers": {
    "thoughtproof": {
      "command": "npx",
      "args": ["-y", "thoughtproof-mcp"],
      "env": {
        "THOUGHTPROOF_API_KEY": "tp_op_your_key_here"
      }
    }
  }
}

Works with Claude Desktop, Cursor, Windsurf, Cline, and any MCP-compatible client.

Tools

verify_claim

Verify any claim or AI-generated reasoning before acting on it.

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
Параметры
  • agentIdstringобязательный

    The agent ID to look up (e.g. 'agent_abc123xyz')

  • domainstring

    Optional domain filter for the score

verify_before_action

ThoughtProof — шлюз верификации перед действием: проверяет перед тем, как агент платит, торгует, записывает или развёртывает. Вызывайте его ДО любого важного инструмента (платёж, сделка, перевод, публикация, удаление, развёртывание, необратимая запись). Возвращает { verdict: ALLOW|BLOCK|UNCERTAIN|…, execute: boolean, objections, receipt_id, surface, axes?, recommendation }. execute равен true ТОЛЬКО при ALLOW, при любом другом результате НЕ выполняйте (мягкое закрытие с отказом; хост обязан соблюдать execute=false). Маршрутизирует внутри к DQL (spend/checkout) или Sentinel (необратимый выход). Требование к mandate: НЕЛЬЗЯ помещать превышение или нарушение ограничений в proposed_action или reasoning (например, не пишите "цена превышает лимит"). Помещайте цель пользователя в mandate, действие, которое вы собираетесь выполнить, в proposed_action, а свой план — в reasoning — верификатор должен найти несоответствие. Перепланирование = новый вызов = новый receipt. Псевдонимы: verify_decision, verify_before_action, verify_before_act.

Параметры
  • contextstring

    Optional extra evidence, tool outputs, or prior turns.

  • mandatestringобязательный

    The user's stated goal or instruction the agent is acting on.

  • modeenum

    Routing override. auto (default) picks DQL for spend/checkout language and Sentinel for high-blast irreversible exits; unsure → DQL. Explicit mode wins.

  • proposed_actionstringобязательный

    What the agent is about to do (pay/trade/write/deploy/…). Do not include the overshoot or constraint violation here.

  • reasoningstringобязательный

    The agent's own plan or reasoning. Do not include the overshoot; the verifier has to find the mismatch.

verify_claim
Параметры
  • claimstringобязательный

    The claim or AI-generated reasoning to verify. Can be a statement, decision, analysis, or any text that needs adversarial verification.

  • domainenum

    Domain context for specialized verification. Default: general

  • speedenum

    Verification depth. fast=$0.008 (2 models), standard=$0.02 (4 models), deep=$0.08 (5+ models). Default: standard

  • stakeLevelenum

    Risk level — higher stakes trigger more thorough verification. Default: medium

verify_decision

ThoughtProof — шлюз верификации до выполнения действия: проверяет, прежде чем агент оплатит, совершит сделку, запишет или развернёт. Вызывай ЭТО перед любым ответственным инструментом (платёж, сделка, перевод, публикация, удаление, развёртывание, необратимая запись). Возвращает { verdict: ALLOW|BLOCK|UNCERTAIN|…, execute: boolean, objections, receipt_id, surface, axes?, recommendation }. execute равен true ТОЛЬКО при ALLOW, при любом другом результате НЕ выполняй (мягкое закрытие при ошибке, хост обязан соблюдать execute=false). Маршрутизирует внутренне к DQL (расход/оформление заказа) или Sentinel (необратимый выход). Указание камеры: НЕЛЬЗЯ помещать превышение или нарушение ограничения в proposed_action или reasoning (например, не пиши «цена выше лимита»). Помести цель пользователя в mandate, действие, которое собираешься выполнить, в proposed_action, а свой план в reasoning — верификатор должен найти несоответствие. Перепланирование = новый вызов = новый receipt. Псевдонимы: verify_decision, verify_before_action, verify_before_act.

Параметры
  • contextstring

    Optional extra evidence, tool outputs, or prior turns.

  • mandatestringобязательный

    The user's stated goal or instruction the agent is acting on.

  • modeenum

    Routing override. auto (default) picks DQL for spend/checkout language and Sentinel for high-blast irreversible exits; unsure → DQL. Explicit mode wins.

  • proposed_actionstringобязательный

    What the agent is about to do (pay/trade/write/deploy/…). Do not include the overshoot or constraint violation here.

  • reasoningstringобязательный

    The agent's own plan or reasoning. Do not include the overshoot; the verifier has to find the mismatch.

verify_trade
Параметры
  • actionstringобязательный

    The action the agent intends to execute, e.g. 'open 5x long BTC, 8000 USDC margin' or 'swap 10 ETH for USDC'.

  • reasoningstringобязательный

    The full reasoning chain that produced the decision — the actual chain of thought, not a summary. This is what ThoughtProof verifies.

  • situationstring

    Optional market/context snapshot WITHOUT the chosen action. Lets the adversarial panel form an independent view before seeing the decision (stronger verification).

  • stakeLevelenum

    Stake level — drives the verdict threshold. Higher stake demands higher reasoning soundness to ALLOW: the SAME decision can ALLOW at low stake and BLOCK/UNCERTAIN at critical stake. Default 'high' (suitable for leveraged capital). 'micro' runs the fast Sentinel-only gate; everything else runs the full Sentinel→RV adversarial pipeline.

  • thesisstringобязательный

    The agent's one-line decisive rationale for the action.

Похожие MCP-сервера

nearai/near-mcp

nearai/near-mcp

MCP сервер для блокчейна NEAR дает AI-агентам возможность управлять аккаунтами, подписывать транзакции и выполнять смарт-контракты. Полезен разработчикам, интегрирующим NEAR в AI-решения.

TypeScript32
Chronolapse411/sicarius-guard

Chronolapse411/sicarius-guard

MCP сервер SicariusGuard выполняет 12-слойную проверку безопасности Solana-токенов и NFT: on-chain (mint, freeze, honeypot), LP lock, возраст, рыночные данные, репутация deployer. Создан для AI-агентов и торговых роботов.

TypeScript2
@arbitova/mcp-server

@arbitova/mcp-server

Некастодиальный USDC-эскроу с AI-арбитражем для безопасных платежей между агентами на Base. Агенты блокируют USDC в контракте, один подтверждает доставку, второй принимает или оспаривает — спор раз...

HTML2
Bichev/agentradar-mcp

Bichev/agentradar-mcp

MCP сервер для AgentRadar — on-chain оракул доверия для экономики агентов. Включает 18 инструментов: верификация, сравнение, скоринг, проверка на скам, on-chain аттестация и другие. Работает из Claude, Cursor и любых MCP-клиентов.

TypeScript1
hive-intel/hive-crypto-mcp

hive-intel/hive-crypto-mcp

Hive Intelligence — managed MCP-сервер для AI-агентов. Предоставляет 369 инструментов по крипто-данным: цены, DeFi, кошельки, безопасность и DEX через один API-ключ. Агрегирует 9 провайдеров (Alche...

TypeScript18
szhygulin/vaultpilot-mcp

szhygulin/vaultpilot-mcp

MCP сервер для self-custodial DeFi: AI-агент предлагает транзакции, вы подтверждаете на Ledger. Поддерживает Ethereum, Solana, Bitcoin, TRON, Litecoin и протоколы Aave, Uniswap, Lido, Jupiter. Ключи не покидают устройство - безопасная автоматизация DeFi.

TypeScript2
© Каталог MCP, 2026. Все права защищены.
Проект не аффилирован с Anthropic и любыми упомянутыми продуктами.
Все названия и торговые марки принадлежат их владельцам.
Контакты для связи: hi@mcp-katalog.ru

Лука Никитин