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 →…
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
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 →…