Formally-verified injection/exfiltration detector for AI agents (MCP-02).
Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β or use 1-click editor setup below.
π‘ Paste the JSON block into your client's configuration file under mcpServers, then restart the application.
Aristotle-verified attribution-enforcement primitives for AI agents. Production hosted at mcp.viridis-security.com.
The detect call comes back with verdict, probability, bitsAtRisk (Adversarial Landauer bound from T-IB-02), matchedPatterns (VulnCanon entry IDs), recommendedAction, and a billing 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 β github.com/viridis-security/mcp-services-sdk
Aristotle-verified attribution-enforcement primitives for AI agents.
This is the public, open-source SDK for the Viridis MCP services. The hosted service implementation is proprietary; this repo contains everything you need to integrate.
π Reference implementation of MCP-10 Maxwell is now in this repo β Apache-2.0, theorem-backed, runnable in <1 minute. Adaptive proof-of-work defense that makes AI-spam pay the energy bill instead of your triagers. See
services/maxwell/reference/.
| Service | Endpoint | Backed by |
|---|---|---|
| Injection Detector (MCP-02) | POST /v1/injection/detect | T-IB-02 + T-IB-06 + T-IB-01 |
| Canon Scanner (MCP-03) | POST /v1/canon/scan | T-IB-05 |
| Viridis Maxwell (MCP-10) | POST /v1/maxwell/{challenge,verify,bind,decoy} + reference SDK | T-IB-09 + T-IB-02 |
Each backing theorem is formally verified in Lean 4 by Aristotle (Harmonic). See the corpus paper (forthcoming) for proofs.
Free tier: 1,000 detect calls + 10 canon scans + 1 envelope per month. Forever-free; no credit card.
| Tier | Price | Detect calls/mo | Notes |
|---|---|---|---|
| Free | $0 | 1,000 | evaluation, side projects |
| Starter | $49/mo | 50,000 | solo agent operators |
| Growth | $299/mo | 500,000 | AI startups, Maxwell low+medium |
| Scale | $1,499/mo | 5,000,000 | production AI, full Maxwell, SLA |
| Enterprise | $50K+/yr | custom | on-prem, insurance feed, dedicated CSM |
Full pricing: https://mcp.viridis-security.com/#pricing.
The actual server implementations (detection logic, canon database, billing, deploy infrastructure) are proprietary and run only at https://mcp.viridis-security.com. This mirrors the standard playbook: the interface is open (so anyone can build against it without legal review or vendor lock-in), the implementation is the moat.
Apache-2.0. You can use, modify, redistribute, fork β no obligation to share changes back, but PRs are welcome.
The SDK source under sdk/ is the canonical implementation. Examples under examples/ are copy-paste-friendly. Service documentation under services/ is the official API reference for the corresponding hosted endpoints.
Maintained by Viridis North LLC. Issues and PRs welcome. For security disclosures, see SECURITY.md.
For commercial inquiries (Enterprise tier, on-prem, cyber-insurance underwriting feed): viridissecurity1@gmail.com.
Co-authored with Aristotle (Harmonic) automated theorem prover.
No reviews yet β be the first to share how this listing worked for you.
Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.
[](https://allmcps.com/mcp/injection-detector)<a href="https://allmcps.com/mcp/injection-detector"><img src="https://allmcps.com/api/badge/injection-detector?style=directory" alt="Injection Detector on AllMCPs" /></a>