consistency-gate

Check whether a claim contradicts a known set of facts.

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

Что умеет

  • Check Claim: NL-gate (kernen): udtræk SPO-triple(r) fra en naturlig-sprogs-PÅSTAND (Sonnet via LiteLLM, R1) og tjek hver mod det grundede SPO-fakta-lager (i PUBLIC_DEMO-mode: det OFFENTLIGE demo-fakta
  • Check Triple: Rå SPO-gate, deterministisk (ingen LLM — billig, testbar kerne, ÅBEN+GRATIS i PUBLIC_DEMO-mode, ingen rate-grænse §2). Konflikt = samme normaliseret subjekt+prædikat, andet normaliseret
  • List Facts: Alle fakta hvor `entity` er subjekt ELLER objekt (transparens/audit). `entity` normaliseres FØR match — case/whitespace-varianter matcher samme række. Returtypen er ALTID en liste (§8-adju

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

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

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

Check whether a claim contradicts a known set of facts. Extract subject-predicate-object triples from a natural-language statement (or pass a raw triple) and check each against a grounded fact store. Returns an auditable receipt with a verdict of consistent, contradicts, or unverifiable, plus every conflict it found, never a bare true/false. Advisory and read-only: it flags consistency, it never blocks, decides, or writes for you, and checking a claim never stores it. Includes a deterministic no-LLM triple check for cheap, testable runs, plus a fact-listing tool for transparency. Public demo runs against an open demo fact store, not your data.

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

Как подключить consistency-gate к Claude

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

https://consistency-gate--humanified.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 не видит.

Как подключить consistency-gate к ChatGPT

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

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

Как подключить consistency-gate к Cursor

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

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

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

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

check_claimNL-gate (kernen): udtræk SPO-triple(r) fra en naturlig-sprogs-PÅSTAND (Sonnet via LiteLLM, R1) og tjek hver mod det grundede SPO-fakta-lager (i PUBLIC_DEMO-mode: det OFFENTLIGE demo-fakta-lager, IKKE dine data — se scope_note). Returnerer en auditerbar consistency-receipt: {claim, extracted_triples[], conflicts[], verdict, checked_against_n_facts, scope_note}. `verdict` ∈ {consistent, contradicts, unverifiable} — ALDRIG true/false. ADVISORY: flager konsistens, blokerer/beslutter ALDRIG for dig (never-write-for-you). Persisterer ALDRIG selve påstanden (check ≠ gem — kun add_fact skriver til lageret, og add_fact er FRAVÆRENDE i PUBLIC_DEMO-mode). PUBLIC_DEMO-mode: rate-limitet (default 5/min + 30/time, ÉN global demo-bucket, §2/§8 BLOCKER 3). Over grænsen returneres `{error:"rate_limited", retry_after_s, scope_note}` — ALDRIG et consistent-formet svar. Bogholderi-fejl i rate-limiteren -> deny (fail-safe).
check_tripleRå SPO-gate, deterministisk (ingen LLM — billig, testbar kerne, ÅBEN+GRATIS i PUBLIC_DEMO-mode, ingen rate-grænse §2). Konflikt = samme normaliseret subjekt+prædikat, andet normaliseret objekt. Returnerer ALLE konflikter (ikke kun første). `verdict` ∈ {consistent, contradicts} — ALDRIG true/false. Read-only mod lageret (i PUBLIC_DEMO-mode: det offentlige demo-fakta-lager).
list_factsAlle fakta hvor `entity` er subjekt ELLER objekt (transparens/audit). `entity` normaliseres FØR match — case/whitespace-varianter matcher samme række. Returtypen er ALTID en liste (§8-adjudikering: ingen dict-wrap/scope_note-injektion her, det ville være en regression mod default-modens kontrakt). PUBLIC_DEMO-mode: listen viser udelukkende rækker fra det OFFENTLIGE demo-fakta-lager (demo-facts.json) — ikke fleet/TIER-1/cortex-data (§3 PUBLIC-SAFE).