verigate-mcp

VeriGate-A2A is an ultra-fast, zero-python formal verification gateway designed for autonomous AI agents, enterprise swarms, and defensive security frameworks.

От сообществаРаботаетБез входаГлобальныйБесплатноТолько чтение

Что умеет

  • Verigate.Verify Invariants: Verifies mathematical safety invariants and SMT constraint satisfiability on proposed AI agent tool calls before execution. Call this tool whenever an agent proposes a high

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

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

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

VeriGate-A2A* is an ultra-fast, zero-python formal verification gateway designed for autonomous AI agents, enterprise swarms, and defensive security frameworks. Built in 100% static Musl Rust on Cloud Run, it executes sub-50ms linear invariant proofs to ensure agent tool calls never violate security bounds or system constraints.

Key Capabilities

  • Farkas Dual-Cone Pre-Solver: Ultra-low latency (<0.05µs) pre-flight invariant solver checking Lipschitz continuity and state boundaries before tool execution.
  • SMT QF-LIA Proofs: Quantifier-free linear integer arithmetic solver proving proposed action parameters satisfy system safety contracts.
  • Zero Python Overhead: 100% static compiled Rust running in a 3.4MB container image for sub-80ms cold starts.
  • A2A & MCP Dual Support: Operates as a native Model Context Protocol (MCP) tool and an Agent-to-Agent (A2A) machine peer.

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

Как подключить verigate-mcp к Claude

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

https://verigate-mcp--lamedizelps4.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 не видит.

Как подключить verigate-mcp к ChatGPT

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

https://verigate-mcp--lamedizelps4.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 откроет окно входа в сервис. Войдите и подтвердите доступ.

Как подключить verigate-mcp к Cursor

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

https://verigate-mcp--lamedizelps4.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 появится кнопка авторизации.

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

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

verigate.verify_invariantsVerifies mathematical safety invariants and SMT constraint satisfiability on proposed AI agent tool calls before execution. Call this tool whenever an agent proposes a high-impact action (e.g. database mutation, money transfer, system reconfiguration, or credential emission) to prove it cannot violate predefined safety boundaries.