MCPLow riskUnclaimed

injection-detector

Formally-verified injection/exfiltration detector for AI agents (MCP-02).

viridis-securityviridis-security/injection-detectorUpdated May 30, 2026

server.json

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-07-09/server.schema.json",
  "name": "io.github.viridis-security/injection-detector",
  "description": "Formally-verified injection/exfiltration detector for AI agents (MCP-02).",
  "repository": {
    "url": "https://github.com/viridis-security/mcp-services-sdk",
    "source": "github"
  },
  "version": "0.1.0",
  "remotes": [
    {
      "type": "streamable-http",
      "url": "https://mcp.viridis-security.com/mcp"
    }
  ]
}

Permissions

DeclaredDetected
Runs code—None
Installs—None
Runs install scripts—None
Networkmcp.viridis-security.commcp.viridis-security.com
Needs credentialsNoneNone
Outside the workspace—None
Agent tools—None

Checks

Low risk · Nothing worth a warning was found.

Not reviewed by a person · Checked by rules; the model review is not switched on yet.

Versions

  1. #10.1.0latestOct 7, 2026