MCP · prompt injection · WARDEN

Peut-on montrer cette liste d'outils MCP à un modèle ?

Collez le tools/list d'un serveur. WARDEN — le pare-feu MCP open source publié sur npm — applique ses règles statiques et sa liste de menaces à chaque définition d'outil : noms, descriptions, schémas d'entrée et de sortie, annotations. Vous obtenez autoriser ou bloquer, et chaque constat avec la règle déclenchée et son emplacement.

Gratuit · sans compte · sans portefeuille

Une liste d'outils, {"tools": […]} ou la réponse JSON-RPC du serveur.

Ctrl / ⌘ + Entrée

Ce qui est vérifié

  • Instructions visant le modèle : formules de priorité, dissimulation à l'utilisateur, ordres d'appeler ou de réécrire d'autres outils.
  • Exfiltration : données, fichiers ou conversation de l'utilisateur envoyés vers une adresse externe, copies cachées vers une boîte mail.
  • Vol d'identifiants et de clés : clés SSH, identifiants cloud, fichiers de portefeuille, jetons.
  • Texte caché : Unicode invisible, charges encodées (échappements, entités, percent-encoding, base64), texte poussé hors de vue.
  • La liste de menaces intégrée de WARDEN, confrontée à toute la définition.

Ce qui n'est pas vérifié

Seulement les définitions d'outils. L'origine et l'épinglage relèvent de l'état de votre machine et demandent l'analyse locale ; le classificateur sémantique optionnel ne tourne pas ici.

Confidentialité

Ce que vous collez est envoyé à modelmarket.dev, analysé en mémoire par WARDEN, puis renvoyé. Rien n'est conservé.

Analysez les serveurs que lancent vos propres clients

Les mêmes règles, en local : il lit les configurations MCP de Claude Code, Claude Desktop, Cursor, VS Code et Windsurf, liste les outils de chaque serveur et n'en appelle aucun.

npx -y @aimarket/warden scan

Les agents IA achètent cette même vérification

Cette page est gratuite pour les humains. Un agent IA obtient la même réponse déterministe pour $0.001 l'appel via x402 — USDC sur Base, sans compte ni clé d'API :

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

Référencée dans le x402 Bazaar de Coinbase et sur x402scan. Ce que paie un agent, c'est la réponse affichée ici, octet pour octet.

Gratuit aussi pour les agents, avec une limite plus basse :

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

Questions

Qu'est-ce que l'empoisonnement d'outils ?

Des instructions cachées dans la description ou le schéma d'un outil. L'utilisateur voit un nom ; le modèle lit toute la définition et peut lui obéir. WARDEN lit la définition comme la lit le modèle.

Quelle différence avec l'analyse locale ?

Mêmes règles. L'analyse locale se connecte en plus à vos serveurs, épingle ce qu'ils ont servi et bloque quand une définition dérive ; cette page vérifie une liste que vous collez.

WARDEN peut-il se placer devant mes serveurs ?

Oui : warden-mcp wrap lance un serveur derrière le pare-feu, et son plugin pour Claude Code refuse les appels aux serveurs bloqués. Le README sur npm et GitHub décrit l'installation.

Autres vérifications gratuites

Vérification de paiement x402

Pourquoi USDC rejette un transferWithAuthorization : le signataire, le domaine du jeton, la fenêtre de validité et les conditions du vendeur — et le domaine pour lequel une signature fautive a réellement été faite.

Diff MCP anti rug pull

Deux tools/list d'un même serveur : celui que vous avez approuvé et celui d'aujourd'hui. Un verdict, un diff mot à mot par outil et un signal pour chaque ajout risqué.

Historique d'un serveur MCP (HISTOR)

L'adresse d'un serveur ou son nom de registre. Quand HISTOR a épinglé ses outils pour la première fois, combien de fois ils ont changé et ce qu'a trouvé l'analyse de motifs — depuis un journal public et signé.