Search / dk.humanified/consistency-gate
consistency-gate
not classifiedCheck claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
v1.0.0 · active · descriptor JSON · versions
Search / dk.humanified/consistency-gate
Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
v1.0.0 · active · descriptor JSON · versions
{
"mcpServers": {
"consistency-gate": {
"type": "http",
"url": "https://mcp.humanified.dk/mcp"
}
}
}claude mcp add --transport http consistency-gate https://mcp.humanified.dk/mcp[mcp_servers.consistency-gate]
url = "https://mcp.humanified.dk/mcp"
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"consistency-gate": {
"type": "remote",
"url": "https://mcp.humanified.dk/mcp",
"enabled": true
}
}
}{
"mcpServers": {
"consistency-gate": {
"type": "http",
"url": "https://mcp.humanified.dk/mcp"
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=consistency-gate&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vbWNwLmh1bWFuaWZpZWQuZGsvbWNwIn0%3D"
}{
"servers": {
"consistency-gate": {
"type": "http",
"url": "https://mcp.humanified.dk/mcp"
}
}
}{
"mcpServers": {
"consistency-gate": {
"httpUrl": "https://mcp.humanified.dk/mcp"
}
}
}extensions:
"consistency-gate":
enabled: true
name: "consistency-gate"
type: streamable_http
uri: "https://mcp.humanified.dk/mcp"
timeout: 300
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28protocol.statelessonly applies to 2026-07-28 serversprotocol.transportstreamable HTTPprotocol.list_ttlonly applies to 2026-07-28 serversauth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptionsevery tool has a descriptiontools.description_lengthdescriptions are concisetools.schemasevery tool has an object input schematools.annotationsno tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky onestools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: check_triple (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); list_facts (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); check_claim (readOnlyHint, destructiveHint, idempotentHint, openWorldHint)tools.token_costabout 560 tokens to load every tooltools.api_dumptools are not a one-to-one API dumpstability.changesno tool changes in 30 daysstability.rug_pullno tool changed its meaning under the same namedeps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI packageNo tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+dns-namespace -unreachable(8 failures) ~updated-76d-ago -no-repository
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
| remote | auth | reachable | uptime 30d | p50 | protocol | last ok |
|---|---|---|---|---|---|---|
https://mcp.humanified.dk/mcp streamable-http | none | no (8 failures) | 82% | 588 ms | 2025-11-25 | 2026-10-01 |
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-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_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 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_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-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). |
Schemas: list_tools.
{
"name": "dk.humanified/consistency-gate",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://mcp.humanified.dk/mcp",
"type": "streamable-http"
}
],
"version": "1.0.0",
"description": "Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt."
}