Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
Dedotto dai trasporti dichiarati da questo annuncio (streamable-http). Un client che non compare qui non è escluso — semplicemente Forge non è in grado di confermarlo.
La verifica conferma l’identità del publisher (la proprietà del repo), non la sicurezza del codice. L’analisi di sicurezza copre i CVE noti e gli script di installazione sospetti.
Letto da un vero handshake MCP initialize → tools/list verso l’endpoint dichiarato. Nessuno strumento è stato invocato — tools/list è la chiamata di introspezione in sola lettura che il protocollo prevede a questo scopo. Riflette ciò che il server annunciava in quel momento; un endpoint ospitato non è vincolato ad alcuna versione e può cambiare senza preavviso.
https://mcp.humanified.dk/mcp3 strumenti · 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…
| Parametro | Tipo | Descrizione |
|---|---|---|
| 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.…
| Parametro | Tipo | Descrizione |
|---|---|---|
| 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).…
| Parametro | Tipo | Descrizione |
|---|---|---|
| entity* | string | — |
3 strumenti su 3 hanno pubblicato una descrizione.
I nomi e le descrizioni degli strumenti sono scritti dal publisher e mostrati alla lettera come testo inerte. Sono le stringhe che un client MCP passa a un modello, quindi Forge vi cerca schemi di prompt injection — ogni rilievo compare insieme all’analisi di sicurezza qui sopra. «Privilegiato» è una corrispondenza di parola chiave sul nome dello strumento, non una verifica di ciò che fa: un nome innocuo può comunque fare qualsiasi cosa.
Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
I nomi collegati aprono l’indice Forge di tutte le voci osservate esporre quello strumento. Sfoglia tutti gli strumenti indicizzati.
Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.