ICME Preflight

Jailbreak-proof guardrails for AI agents.

От сообществаРаботаетБез входаГлобальныйБесплатноМожет изменять данные

Что умеет

  • Check Logic: FREE — no account needed. Check if agent reasoning is logically consistent. Extracts quantitative and logical claims, then uses a Z3 SAT solver to mathematically prove whether they contra
  • Create Account: Create an ICME Preflight account via x402 USDC payment ($5.00 on Base). Returns an API key and 325 starting credits. Save the api_key — it is shown only once.
  • Create Account Card: Create an ICME Preflight account via credit card ($5.00). Returns a checkout_url to open in a browser. After payment, call poll_session with the session_id to get your API key.

Какие данные видит

Нужен ли аккаунт

Не нужен: сервер работает без входа

Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails. Cannot be prompt-injected. Every decision produces a cryptographic ZK proof.

Includes a FREE check_logic tool that catches contradictions in agent reasoning (budget overflows, impossible timelines, conflicting constraints) using a Z3 SAT solver. No account needed.

13 tools covering the full workflow:

check_logic — FREE. Mathematically prove reasoning is consistent before acting on it. make_rules — write guardrails in plain English, ICME compiles them to formal logic via Automated Reasoning. check_action / quick_check — verify any agent action against your policy. SAT = allowed, UNSAT = blocked. verify_proof — independently verify the ZK receipt from any prior check. get_scenarios / run_tests — test your policy with AWS Automated Reasoning scenarios before deploying. Account & billing — create account ($5 USDC or card), top up credits, pay per call via x402.

Docs: https://docs.icme.io

Как подключить

Как подключить ICME Preflight к Claude

Адрес сервера, который нужно вставить в настройках Claude:

https://preflight--icme-labs.run.tools

  1. Откройте Claude (сайт claude.ai или приложение для компьютера).
  2. Перейдите в Настройки → Коннекторы (в английском интерфейсе: Settings → Connectors).
  3. Нажмите Добавить пользовательский коннектор (Add custom connector).
  4. Вставьте адрес сервера, скопированный ниже, в поле URL удалённого MCP-сервера и нажмите Добавить.
  5. В чате нажмите + → Коннекторы и включите новый коннектор.

Пользовательские коннекторы доступны на тарифах Free, Pro, Max, Team и Enterprise. На Free можно добавить только один. В Team и Enterprise коннектор сначала добавляет владелец организации в Настройки организации → Коннекторы.

Авторизация

После нажатия Добавить откроется окно входа в сервис. Войдите под своим аккаунтом и подтвердите доступ. Пароль Claude не видит.

Как подключить ICME Preflight к ChatGPT

Адрес сервера, который нужно вставить в настройках ChatGPT:

https://preflight--icme-labs.run.tools

  1. Откройте ChatGPT в браузере (chatgpt.com). Нужен тариф Plus, Pro, Business, Enterprise или Edu.
  2. Один раз включите режим разработчика: Настройки → Приложения → Дополнительные настройки → Режим разработчика (Settings → Apps → Advanced settings → Developer mode).
  3. Откройте Настройки → Коннекторы и нажмите Создать (Create).
  4. Заполните форму: Название (любое), Описание (одна фраза, что делает сервис), URL MCP-сервера (скопируйте ниже).
  5. В поле Аутентификация выберите OAuth, если сервис требует вход, иначе Нет. Нажмите Создать.
  6. В новом чате откройте + → Приложения/Коннекторы и включите коннектор.

Название раздела у OpenAI менялось (Connectors → Apps/Plugins). Если пункт называется иначе, ищите «режим разработчика» в настройках. В рабочих пространствах Business/Enterprise администратор должен разрешить пользовательские коннекторы.

Авторизация

При первом использовании ChatGPT откроет окно входа в сервис. Войдите и подтвердите доступ.

Как подключить ICME Preflight к Cursor

Адрес сервера, который нужно вставить в настройках Cursor:

https://preflight--icme-labs.run.tools

Быстрый способ: нажмите кнопку Открыть в Cursor ниже, Cursor сам предложит добавить сервер.

Вручную:

  1. В Cursor откройте Settings → Cursor Settings → MCP и нажмите Add new global MCP server.
  2. Вставьте JSON, скопированный ниже, в открывшийся файл ~/.cursor/mcp.json (для одного проекта: .cursor/mcp.json в корне проекта).
  3. Сохраните файл. Сервер появится в списке MCP; при необходимости пройдите авторизацию по кнопке рядом с ним.

Авторизация

Если сервис требует вход, рядом с сервером в списке MCP появится кнопка авторизации.

Список инструментов сервера (13)

Технические названия из tools/list. Нужны только разработчикам.

check_logicFREE — no account needed. Check if agent reasoning is logically consistent. Extracts quantitative and logical claims, then uses a Z3 SAT solver to mathematically prove whether they contradict. Returns CONSISTENT, CONTRADICTION, or UNKNOWN with the extracted claims. Use this before acting on any plan, calculation, or chain of thought.
create_accountCreate an ICME Preflight account via x402 USDC payment ($5.00 on Base). Returns an API key and 325 starting credits. Save the api_key — it is shown only once.
create_account_cardCreate an ICME Preflight account via credit card ($5.00). Returns a checkout_url to open in a browser. After payment, call poll_session with the session_id to get your API key.
make_rulesCompile a natural language policy into formal logic (SMT-LIB). Costs 300 credits. Write your guardrail in plain English (up to 50 rules). Returns a policy_id and scenarios for review. Requires X-API-Key.
check_action_paidVerify an agent action against a guardrail policy via x402 payment ($0.10 USDC on Base). No API key needed. Returns SAT (allowed) or UNSAT (blocked) with extracted values and optional ZK proof. Tip: end action with an explicit claim.
check_actionVerify an agent action against a guardrail policy (1 credit). Cheapest path if you have credits from signup or top_up. Requires X-API-Key. Returns SAT/UNSAT with extracted values and ZK proof.
verify_actionMinimal verification: returns ALLOWED or BLOCKED (1 credit). Requires X-API-Key. Use when you only need the verdict.
verify_proofVerify a ZK proof from a prior check. No additional cost. Wait a few minutes after the check for the proof to be ready. Single-use per proof.
top_upAdd 500 credits via x402 USDC payment ($5.00 on Base). Requires X-API-Key to identify the account.
top_up_cardAdd credits via credit card. Returns a checkout_url. Tiers: $5=500, $10=1050, $25=2750, $50=5750, $100=12000 credits. Requires X-API-Key.
poll_sessionPoll a Stripe Checkout session after card payment. Returns pending/complete status. For signup, returns the api_key.
get_scenariosGet generated test scenarios for a policy. Requires X-API-Key.
run_testsRun saved test cases against a policy. Requires X-API-Key. All tests should pass before production use.