Connection check
verified live · 27h ago
consistency-gate
Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
Tools
3
GitHub stars
—
Installs / wk
—
Licence
—
Transport
streamable-http
Last checked
27h ago
Tools & capabilities
3 toolsRead from the running server on 27h ago.
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 dem… 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
object*subject*predicate*
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 normali… 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
entity*