Formally-verified injection/exfiltration detector for AI agents (MCP-02).
Free
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
Formally-verified injection/exfiltration detector for AI agents (MCP-02).