Formally-verified injection/exfiltration detector for AI agents (MCP-02).
Probing this server's capabilities…