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 →…
Abgeleitet aus den Transporten, die dieser Eintrag deklariert (streamable-http). Ein Client, der hier nicht steht, ist damit nicht ausgeschlossen — Forge kann ihn nur nicht bestätigen.
Die Verifizierung bestätigt die Identität des Publishers (die Inhaberschaft am Repo), nicht die Sicherheit des Codes. Der Sicherheits-Scan deckt bekannte CVEs und verdächtige Installationsskripte ab.
Forge hat gegen diesen Endpunkt keinen tools/list-Handshake abgeschlossen und hat daher keine Beobachtung dessen, was der Server offenlegt. Nichts hiervon sagt, dass er nichts offenlegt.
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 →…