accueil / serveurs / Dev & Code / io.github.viridis-security/injection-detector
io.github.viridis-security/injection-detector
serveur MCP (Model Context Protocol) · viridis-injection-detector 0.2.0
Référencé dans l'annuaire. Seul le pentest comportemental fait foi, et il n'a pas encore été exécuté sur ce serveur.
Est-ce que io.github.viridis-security/injection-detector est sûr ?
Au dernier audit MCP Hub, le serveur MCP « io.github.viridis-security/injection-detector » est classé « Non encore testé ». Référencé dans l'annuaire. Seul le pentest comportemental fait foi, et il n'a pas encore été exécuté sur ce serveur. Le verdict est réévalué en continu ; consultez la fiche pour l'état à jour.
Méthode : MCP Hub analyse la description de chaque outil (couche 1) et, pour le verdict fort, exécute le serveur dans une micro-VM isolée avec leurres et réseau bloqué (couche 2). On publie des noms et des compteurs, jamais le contenu brut renvoyé par un outil.
Les 2 outils
- detect_injection≈ 410 tokens
Screen untrusted input for prompt/tool injection, exfiltration, and obfuscation before an agent consumes it. Returns a verdict (clean|suspicious|attack), probability, bits-at-risk (upper bound on adversarial capture per the Adversarial Landauer bound), matched canon patterns, and a recommended action (allow|sanitize|reject|escalate). Backed by Aristotle-verified theorems T-IB-02/T-IB-06/T-IB-01.
Paramètres, retour & exemple (4)
Paramètresinput· string · requis
The untrusted text/data to screen.agentId· string · optionnel
Optional: for MCP-01 envelope cross-check.context· string · optionnel
Optional: the agent's role/system prompt; helps calibrate.certainty· string · optionnel · quick | standard | premium
Operating point. Default standard.
Exemple d'appel{"name": "detect_injection", "arguments": {"input": "texte"}}Exemple de retour{"content": [{"type": "text", "text": "…"}], "structuredContent": {"signals": {}, "verdict": "clean", "backedBy": [], "bitsAtRisk": 1, "probability": 1, "operatingPoint": {}, "matchedPatterns": [], "recommendedAction": "allow", "explainabilityToken": "texte"}} - detect_trace_tool_policy≈ 412 tokens
Analyze an agent trace for the Gray Swan Wave 16 class: untrusted retrieved/tool output causing a tool call outside the user-declared per-turn allowlist. Returns trace counts, unauthorized tool-call evidence, canon mapping VC-AI-TOOL-0001, and claim-boundary guardrails. Backed by T-IB-25/T-IB-29/T-IB-36.
Paramètres, retour & exemple (3)
Paramètrestrace· object · optionnel
Single agent trace with user_prompt, allowed_tools, and events[].traces· array · optionnel
Optional batch of agent traces.targetName· string · optionnel
Optional display name for the assessed target.
Exemple d'appel{"name": "detect_trace_tool_policy", "arguments": {"trace": {}, "traces": [], "targetName": "texte"}}Exemple de retour{"content": [{"type": "text", "text": "…"}], "structuredContent": {"mode": "trace_tool_policy_probe", "traces": [], "canonId": "texte", "summary": {}, "verdict": "clean", "probability": 1, "theoremRefs": [], "claimBoundary": "texte", "reviewPriority": [], "recommendedAction": "allow", "explainabilityToken": "texte", "customerSystemProved": true}}
C'est votre serveur ?
Revendiquez-le sur l'espace créateur (preuve GitHub, domaine ou npm) pour afficher le badge « propriétaire vérifié » et lancer un pentest comportemental à la demande afin d'obtenir le badge « Vérifié ».