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 →…
Dedotto dai trasporti dichiarati da questo annuncio (streamable-http). Un client che non compare qui non è escluso — semplicemente Forge non è in grado di confermarlo.
La verifica conferma l’identità del publisher (la proprietà del repo), non la sicurezza del codice. L’analisi di sicurezza copre i CVE noti e gli script di installazione sospetti.
Forge ha letto 8 file sorgente da l’archivio del repository e non ha trovato alcuna registrazione di strumenti MCP. L’estrazione si basa su schemi applicati al codice distribuito: un server che costruisce l’elenco degli strumenti a runtime, o che distribuisce solo codice impacchettato o minificato, non registra nulla di visibile qui. Va letto come «non rilevato», non come «non ne espone nessuno».
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 →…
Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.