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 8 Quelldateien aus das Repository-Archiv gelesen und keine MCP-Tool-Registrierung gefunden. Die Extraktion arbeitet musterbasiert über den ausgelieferten Quellcode: ein Server, der seine Tool-Liste zur Laufzeit aufbaut oder nur gebündelten beziehungsweise minifizierten Code ausliefert, registriert nichts, was hier sichtbar wäre. Lies es als „nicht erkannt“, nicht als „legt keine offen“.
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 →…
Dieser Eintrag veröffentlicht kein npm-Paket, daher hat Forge keinen Abhängigkeitsbaum dafür. Das ist eine Lücke in der Abdeckung — keine Aussage, dass er keine Abhängigkeiten hat.