Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
Abgeleitet aus den Transporten, die dieser Eintrag deklariert (streamable-http). Ein Client, der hier nicht steht, ist damit nicht ausgeschlossen — Forge kann ihn nur nicht bestätigen.
Die Verifizierung bestätigt die Identität des Publishers (die Inhaberschaft am Repo), nicht die Sicherheit des Codes. Der Sicherheits-Scan deckt bekannte CVEs und verdächtige Installationsskripte ab.
Aus einem echten MCP-Handshake initialize → tools/list gegen den deklarierten Endpunkt gelesen. Es wurde nie ein Tool aufgerufen — tools/list ist der lesende Introspektionsaufruf, den das Protokoll dafür vorsieht. Es spiegelt wider, was der Server in diesem Moment angeboten hat; ein gehosteter Endpunkt ist an keine Version gebunden und kann sich ohne Ankündigung ändern.
https://mcp.humanified.dk/mcp3 Tools · 500 mscheck_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…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…
| Parameter | Typ | Beschreibung |
|---|---|---|
| claim* | string | — |
| focus | string | — |
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.…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.…
| Parameter | Typ | Beschreibung |
|---|---|---|
| subject* | string | — |
| predicate* | string | — |
| object* | string | — |
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).…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).…
| Parameter | Typ | Beschreibung |
|---|---|---|
| entity* | string | — |
3 von 3 Tools haben eine Beschreibung veröffentlicht.
Tool-Namen und -Beschreibungen stammen vom Publisher und werden wortgetreu als inerter Text angezeigt. Es sind die Zeichenketten, die ein MCP-Client an ein Modell übergibt, deshalb prüft Forge sie auf Prompt-Injection-Muster — jeder Befund erscheint oben beim Sicherheits-Scan. „Privilegiert“ ist ein Schlagwort-Treffer im Tool-Namen, keine Prüfung dessen, was das Tool tut: ein harmlos klingender Name kann trotzdem alles tun.
Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
Verlinkte Namen öffnen den Forge-Index aller Einträge, bei denen dieses Tool beobachtet wurde. Alle indexierten Tools durchsuchen.
Dieser Eintrag veröffentlicht kein npm-Paket, daher hat Forge keinen Abhängigkeitsbaum dafür. Das ist eine Lücke in der Abdeckung — keine Aussage, dass er keine Abhängigkeiten hat.