consistency-gate

Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.

我該用這個嗎

品質與安全性

A
說明品質
100%
結構描述完整度
80%
命名品質
100%
汙染風險
100%
權限相符程度
100%
協定合規性
100%

根據工具定義與協定合規性的自動化分析。

上下文成本

~786Token(工具定義)
~657 B典型回應大小
中等的注意力影響(128k 上下文的 0.61%)

這是每次將伺服器的工具載入模型上下文時所消耗的約略 token 數量。數量越高,可用於其他工作的注意力就越少。

安裝

一鍵安裝

將以下內容加入你的 `claude_desktop_config.json` 檔案:

{
  "mcpServers": {
    "consistency-gate": {
      "url": "https://mcp.humanified.dk/mcp"
    }
  }
}

遠端端點

https://mcp.humanified.dk/mcpstreamable-http

它能做什麼

工具清單

工具(3)

🟢 唯讀🟡 寫入🔴 刪除⚪ 未知
🟡check_claim(claim, focus)

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-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).

輸入結構描述

{
  "type": "object",
  "properties": {
    "claim": {
      "type": "string"
    },
    "focus": {
      "default": "",
      "type": "string"
    }
  },
  "required": [
    "claim"
  ],
  "additionalProperties": false
}

輸出結構描述

{
  "type": "object",
  "additionalProperties": true
}
🟢check_triple(subject, predicate, object)

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 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).

輸入結構描述

{
  "type": "object",
  "properties": {
    "subject": {
      "type": "string"
    },
    "predicate": {
      "type": "string"
    },
    "object": {
      "type": "string"
    }
  },
  "required": [
    "subject",
    "predicate",
    "object"
  ],
  "additionalProperties": false
}

輸出結構描述

{
  "type": "object",
  "additionalProperties": true
}
🟢list_facts(entity)

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-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).

輸入結構描述

{
  "type": "object",
  "properties": {
    "entity": {
      "type": "string"
    }
  },
  "required": [
    "entity"
  ],
  "additionalProperties": false
}

輸出結構描述

{
  "type": "object",
  "properties": {
    "result": {
      "items": {},
      "type": "array"
    }
  },
  "required": [
    "result"
  ],
  "x-fastmcp-wrap-result": true
}

社群

為此伺服器評分

證據

近期觀測

已驗證未記錄版本3 個工具
已驗證未記錄版本3 個工具