Formally-verified injection/exfiltration detector for AI agents (MCP-02).
Aristotle-verified attribution-enforcement primitives for AI agents. Production hosted at mcp.viridis-security.com. The detect call comes back with , , (Adversarial Landauer bound from T-IB-02), (VulnCanon entry IDs), , and a block showing your cost + remaining quota. The free tier is 1,000 detect calls + 10 canon scans per month — enough to ship a real product, not just kick the tires. Pricing →…
Déduit des transports déclarés par cette annonce (streamable-http). Un client absent de cette liste n’est pas écarté pour autant — c’est simplement quelque chose que Forge ne peut pas confirmer.
La vérification confirme l’identité de l’éditeur (la propriété du dépôt), pas la sûreté du code. L’analyse de sécurité couvre les CVE connues et les scripts d’installation suspects.
Forge n’a pas mené à bien d’échange tools/list contre cet endpoint et n’a donc aucune observation de ce que le serveur expose. Rien ici ne dit qu’il n’expose rien.
Aristotle-verified attribution-enforcement primitives for AI agents. Production hosted at mcp.viridis-security.com. The detect call comes back with , , (Adversarial Landauer bound from T-IB-02), (VulnCanon entry IDs), , and a block showing your cost + remaining quota. The free tier is 1,000 detect calls + 10 canon scans per month — enough to ship a real product, not just kick the tires. Pricing → mcp.viridis-security.com/pricing · Sign up → /signup · SDK →…