MCP · prompt injection · WARDEN

¿Es seguro mostrar esta lista de herramientas MCP a un modelo?

Pega el tools/list de un servidor. WARDEN —el cortafuegos MCP de código abierto en npm— pasa su conjunto de reglas estáticas y su lista de amenazas por cada definición: nombres, descripciones, esquemas de entrada y salida, anotaciones. Obtienes permitir o bloquear y cada hallazgo, con la regla que saltó y dónde.

Gratis · sin cuenta · sin monedero

Una lista de herramientas, {"tools": […]} o la respuesta JSON-RPC del servidor.

Ctrl / ⌘ + Enter

Qué comprueba

  • Instrucciones dirigidas al modelo: anulación y reclamos de prioridad, ocultación al usuario, órdenes de llamar o reescribir otras herramientas.
  • Exfiltración: datos, archivos o la conversación del usuario enviados a una dirección externa, copias ocultas a un buzón.
  • Robo de credenciales y claves: claves SSH, credenciales de la nube, archivos de monedero, tokens.
  • Texto oculto: Unicode invisible, cargas codificadas (escapes, entidades, percent-encoding, base64), texto empujado fuera de la vista.
  • La lista de amenazas integrada de WARDEN, contrastada con toda la definición.

Qué no comprueba

Solo definiciones de herramientas. El origen y el pinning son estado de tu máquina y requieren el escaneo local; el clasificador semántico opcional no se ejecuta aquí.

Privacidad

Lo que pegas se envía a modelmarket.dev, WARDEN lo escanea en memoria y se responde. No se guarda.

Escanea los servidores que arrancan tus propios clientes

Las mismas reglas, en local: lee las configuraciones MCP de Claude Code, Claude Desktop, Cursor, VS Code y Windsurf, lista las herramientas de cada servidor y no llama a ninguna.

npx -y @aimarket/warden scan

Los agentes de IA compran esta misma comprobación

Esta página es gratuita para las personas. Un agente de IA obtiene la misma respuesta determinista por $0.001 la llamada a través de x402 — USDC en Base, sin cuenta y sin clave de API:

POST https://modelmarket.dev/x402/warden-scan

Publicada en el x402 Bazaar de Coinbase y en x402scan. Lo que paga un agente es la respuesta que muestra esta página, byte a byte.

También gratis para agentes, con un límite más bajo:

POST https://modelmarket.dev/a2mcp/warden-scan

Preguntas

¿Qué es el envenenamiento de herramientas?

Instrucciones escondidas en la descripción o el esquema de una herramienta. El usuario ve un nombre; el modelo lee la definición completa y puede obedecerla. WARDEN lee la definición como la lee el modelo.

¿En qué se diferencia del escaneo local?

Mismas reglas. El escaneo local además se conecta a tus servidores, fija lo que sirvieron y bloquea cuando una definición cambia; esta página comprueba una lista que pegas.

¿Puede WARDEN ir delante de mis servidores?

Sí: warden-mcp wrap arranca un servidor detrás del cortafuegos, y su plugin para Claude Code rechaza las llamadas a servidores bloqueados. El README en npm y GitHub explica la configuración.

Otras comprobaciones gratuitas

Comprobación de pagos x402

Por qué USDC revierte un transferWithAuthorization: el firmante, el dominio del token, la ventana de validez y las condiciones del vendedor, y el dominio para el que se hizo de verdad una firma fallida.

Diff MCP contra rug pull

Dos tools/list de un mismo servidor: el que aprobaste y el de hoy. Un veredicto, un diff palabra a palabra por herramienta y una señal por cada cosa arriesgada que añadió el cambio.

Historial de un servidor MCP (HISTOR)

La dirección de un servidor o su nombre en el registro. Cuándo HISTOR fijó por primera vez sus herramientas, cuántas veces cambiaron y qué encontró el escaneo de patrones, desde un registro público y firmado.