Agent♥︎Age
Catalog

io.github.viridis-security/injection-detector

Official1 tool

by viridis-security · Python

Formally-verified injection/exfiltration detector for AI agents (MCP-02).

Formally-verified detector for injection and exfiltration attacks in AI agents.

io.github.viridis-security/injection-detector - MCP Catalog