Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
Inferido de los transportes que declara este listado (streamable-http). Que un cliente no aparezca aquí no significa que se haya descartado: simplemente Forge no puede confirmarlo.
La verificación confirma la identidad del publicador (la propiedad del repo), no la seguridad del código. El análisis de seguridad cubre los CVE conocidos y los scripts de instalación sospechosos.
Leído de un handshake MCP real initialize → tools/list contra el endpoint declarado. No se invocó ninguna herramienta: tools/list es la llamada de introspección de solo lectura que el protocolo define para esto. Refleja lo que el servidor anunciaba en ese momento; un endpoint alojado no está fijado a ninguna versión y puede cambiar sin avisar.
https://mcp.humanified.dk/mcp3 herramientas · 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…
| Parámetro | Tipo | Descripción |
|---|---|---|
| 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.…
| Parámetro | Tipo | Descripción |
|---|---|---|
| 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).…
| Parámetro | Tipo | Descripción |
|---|---|---|
| entity* | string | — |
3 de 3 herramientas publicaron una descripción.
Los nombres y descripciones de las herramientas los escribe el publicador y se muestran literalmente como texto inerte. Son las cadenas que un cliente MCP pasa al modelo, así que Forge las analiza en busca de patrones de inyección de prompts — cualquier hallazgo aparece junto al análisis de seguridad de arriba. «Privilegiada» es una coincidencia de palabra clave en el nombre de la herramienta, no una auditoría de lo que hace: un nombre inofensivo puede hacer cualquier cosa.
Check claims against a fact-store: consistent, contradicts, or unverifiable — with a receipt.
Los nombres enlazados abren el índice de Forge con todas las entradas que se observó que exponen esa herramienta. Ver todas las herramientas indexadas.
Esta entrada no publica ningún paquete de npm, así que Forge no tiene un árbol de dependencias para ella. Es una carencia de cobertura, no una afirmación de que no tenga dependencias.