thoughtproof/thoughtproof-mcp

thoughtproof/thoughtproof-mcp

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

thoughtproof-mcp

npm version CI HOL Guard Scanner HOL Verified License: MIT

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

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": "<YOUR_DQL_VERIFY_KEY>"
      }
    }
  }
}

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

Инструменты были проиндексированы:
check_agent_score
Параметры
  • agentIdstringобязательный

    Идентификатор агента для поиска (например, 'agent_abc123xyz').

  • domainstring

    Необязательный фильтр по домену для оценки.

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

    Необязательные дополнительные доказательства, выходные данные инструментов или предыдущие реплики.

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

    Заявленная пользователем цель или инструкция, которую выполняет агент.

  • modeenum

    Переопределение маршрутизации. auto (по умолчанию) выбирает DQL для языка spend/checkout и Sentinel для необратимых выходов с большим радиусом поражения; при не уверенности → DQL. Явный режим имеет приоритет.

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

    Что агент собирается сделать (заплатить/обменять/записать/развернуть/…). Не включайте сюда превышение или нарушение ограничений.

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

    Собственный план или рассуждения агента. Не включайте лишнее; верификатор должен найти несоответствие.

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

    Утверждение или сгенерированный ИИ вывод, который нужно проверить. Это может быть утверждение, решение, анализ или любой текст, требующий состязательной проверки.

  • domainenum

    Доменный контекст для специализированной проверки. По умолчанию: general.

  • speedenum

    Глубина проверки. fast=$0.008 (2 модели), standard=$0.02 (4 модели), deep=$0.08 (5+ моделей). По умолчанию: standard

  • stakeLevelenum

    Уровень риска: более высокие ставки приводят к более тщательной проверке. По умолчанию: 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

    Необязательные дополнительные доказательства, выходные данные инструментов или предыдущие реплики.

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

    Заявленная пользователем цель или инструкция, которую выполняет агент.

  • modeenum

    Переопределение маршрутизации. auto (по умолчанию) выбирает DQL для языка spend/checkout и Sentinel для необратимых выходов с большим радиусом поражения; при не уверенности → DQL. Явный режим имеет приоритет.

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

    Что агент собирается сделать (заплатить/обменять/записать/развернуть/…). Не включайте сюда превышение или нарушение ограничений.

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

    Собственный план или рассуждения агента. Не включайте лишнее; верификатор должен найти несоответствие.

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

    Действие, которое агент намеревается выполнить, например, «открыть длинную позицию по BTC с плечом 5x, маржа 8000 USDC» или «обменять 10 ETH на USDC».

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

    Полная цепочка рассуждений, которая привела к решению, - сама цепочка мыслей, а не её краткое изложение. Именно это проверяет ThoughtProof.

  • situationstring

    Необязательный снимок рынка/контекста без выбранного действия. Даёт оппонирующей группе сформировать независимое мнение до того, как она увидит решение (более надёжная проверка).

  • stakeLevelenum

    Уровень ставки определяет порог вердикта. Чем выше ставка, тем выше требуемая обоснованность рассуждений для ALLOW: ОДНО И ТО ЖЕ решение может получить ALLOW при низкой ставке и BLOCK/UNCERTAIN при критической ставке. По умолчанию 'high' (подходит для капитала с плечом). 'micro' запускает быстрый шлюз только с Sentinel; всё остальное запускает полный состязательный конвейер Sentinel→RV.

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

    Однострочное решающее обоснование действия агента.

0.3.2основная
0.3.1
0.3.0
0.2.1
0.2.0
0.1.0

Выберите клиент, чтобы установить thoughtproof/thoughtproof-mcp:

Любой клиент

Конфиг добавления MCP сервера стандартный, обычно он не меняется вообще, поэтому подходит практически к любому ИИ клиенту, поддерживающему MCP.

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

Перейдите по ссылке и сервер автоматически будет добавлен в Cursor. Либо откройте/создайте файл ~/.cursor/mcp.json(%USERPROFILE%\.cursor\mcp.json на Windows) и добавьте конфиг сервера:

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

Создайте .vscode/mcp.json в проекте (ключ верхнего уровня — servers):

{
  "servers": {
    "thoughtproof-thoughtproof-mcp-auyx3ukbj9": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "THOUGHTPROOF_API_KEY": "tp_op_your_key_here"
      }
    }
  }
}

Либо добавьте сервер через терминал:

code --add-mcp "{\"name\":\"thoughtproof-thoughtproof-mcp-auyx3ukbj9\",\"type\":\"stdio\",\"command\":\"npx\",\"args\":[\"-y\",\"thoughtproof-mcp\"],\"env\":{\"THOUGHTPROOF_API_KEY\":\"tp_op_your_key_here\"}}"
ClaudeClaude Desktop

Откройте Settings → Developer → Edit Config — это откроет файл claude_desktop_config.json:

  • macOS: ~/Library/Application Support/Claude/claude_desktop_config.json
  • Windows: %APPDATA%\Claude\claude_desktop_config.json

Впишите сервер и полностью перезапустите Claude Desktop:

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

Добавьте сервер одной командой в терминале:

claude mcp add thoughtproof-thoughtproof-mcp-auyx3ukbj9 --env THOUGHTPROOF_API_KEY=tp_op_your_key_here -- npx -y thoughtproof-mcp

Либо через JSON-конфиг:

claude mcp add-json thoughtproof-thoughtproof-mcp-auyx3ukbj9 "{\"command\":\"npx\",\"args\":[\"-y\",\"thoughtproof-mcp\"],\"env\":{\"THOUGHTPROOF_API_KEY\":\"tp_op_your_key_here\"}}"
CodexCodex

Добавьте сервер командой в терминале:

codex mcp add thoughtproof-thoughtproof-mcp-auyx3ukbj9 --env THOUGHTPROOF_API_KEY=tp_op_your_key_here -- npx -y thoughtproof-mcp

Либо вручную в ~/.codex/config.toml(%USERPROFILE%\.codex\config.toml на Windows):

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

[mcp_servers.thoughtproof-thoughtproof-mcp-auyx3ukbj9.env]
THOUGHTPROOF_API_KEY = "tp_op_your_key_here"
PerplexityPerplexity

MCP доступен подписчикам Perplexity Pro / Max / Enterprise. Локальные серверы — только в приложении для macOS.

  1. Откройте Настройки аккаунта → Connectors.
  2. Установите вспомогательное приложение PerplexityXPC (один раз).
  3. Нажмите Add Connector → вкладка Simple.
  4. В поле Server Name укажите thoughtproof/thoughtproof-mcp, а в поле команды запуска — строку ниже:
npx -y thoughtproof-mcp

Нажмите Save и дождитесь статуса Running.

WindsurfWindsurf

Откройте Windsurf Settings → Cascade → MCP Servers или отредактируйте файл ~/.codeium/windsurf/mcp_config.json:

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

В панели Cline нажмите иконку MCP Servers → Configure → Configure MCP Servers (или отредактируйте ~/.cline/mcp.json) и добавьте сервер:

{
  "mcpServers": {
    "thoughtproof-thoughtproof-mcp-auyx3ukbj9": {
      "command": "npx",
      "args": [
        "-y",
        "thoughtproof-mcp"
      ],
      "env": {
        "THOUGHTPROOF_API_KEY": "tp_op_your_key_here"
      },
      "disabled": false,
      "autoApprove": []
    }
  }
}
Continue

Создайте файл в .continue/mcpServers/ (например thoughtproof-thoughtproof-mcp-auyx3ukbj9.yaml) или добавьте блок в config.yaml. MCP работает только в режиме agent:

mcpServers:
  - name: thoughtproof-thoughtproof-mcp-auyx3ukbj9
    command: npx
    args:
      - "-y"
      - "thoughtproof-mcp"
    env:
      THOUGHTPROOF_API_KEY: tp_op_your_key_here
Zed

Выполните agent: add context server или откройте настройки (zed: open settings file) и добавьте сервер в объект context_servers:

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

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

Thezenmonster/agentscore-mcp-server

Thezenmonster/agentscore-mcp-server

от thezenmonster

MCP сервер для оценки безопасности пакетов: сканирует зависимости, выносит вердикты доверия, проверяет уязвимости и настраивает CI-политику. Восемь инструментов без API-ключа. Помогает разработчикам принимать решения о безопасности MCP.

TypeScript⭐ 1
spranab/brainstorm-mcp

spranab/brainstorm-mcp

от spranab

MCP-сервер для мультимодельного мозгового штурма: запускает дебаты между GPT, Gemini, DeepSeek и Claude с автоматическим синтезом вердиктов. Полезен разработчикам и командам для быстрого получения ...

TypeScript⭐ 71
VikrantSingh01/adaptive-cards-mcp

VikrantSingh01/adaptive-cards-mcp

от vikrantsingh01

MCP-сервер для генерации валидных Adaptive Cards в Teams, Outlook, Copilot. 9 инструментов и 3 guided workflows автоматизируют создание, проверку и оптимизацию карточек. Помогает разработчикам и AI...

TypeScript⭐ 33
kukapay/crypto-rss-mcp

kukapay/crypto-rss-mcp

от kukapay

Crypto RSS MCP сервер для AI-агентов: агрегирует новости криптовалют из RSS-лент, фильтрует по ключевым словам и поддерживает OPML. Помогает отслеживать тренды рынка и принимать быстрые решения.

Python⭐ 17
hubinoretros/deep-thinker

hubinoretros/deep-thinker

от hubinoretros

MCP сервер с графом мыслей (DAG) и 10 стратегиями рассуждений: от последовательной до метапознания. Включает 17 инструментов для глубокого анализа, диалектики, абдукции и автоматического выбора стратегии. Полезен разработчикам и исследователям в решении сложных задач.

TypeScript⭐ 15
szeider/consult7

szeider/consult7

от szeider

MCP сервер для выноса анализа больших файлов на модели с контекстом до 2M токенов через OpenRouter. Решает проблему переполнения контекста агента, позволяя анализировать целые кодовые базы и генерировать ревью. Поддерживает Gemini, Claude и другие модели.

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

Лука Никитин