Slither MCP Server

uvx --from git+https://github.com/trailofbits/slither-mcp slither-mcp

{
  "mcpServers": {
    "slither-mcp": {
      "command": "uvx",
      "args": [
        "--from",
        "git+https://github.com/trailofbits/slither-mcp",
        "slither-mcp"
      ]
    }
  }
}

Dieser Server der Slither-Entwickler macht den von Slither erzeugten Graphen als Tools zugänglich: Verträge nach konkretem Vertrag, abstraktem Vertrag, Interface oder Bibliothek filtern, Aufrufer und aufgerufene Funktionen einschließlich Low-Level-Aufrufen verfolgen und Vererbungsbeziehungen in beide Richtungen durchlaufen. Auch Detektorergebnisse lassen sich filtern, sodass ein Agent nur Befunde mit hoher Konfidenz statt des gesamten Berichts laden kann. Die Analyse wird innerhalb des Projekts unter artifacts/project_facts.json zwischengespeichert, wodurch wiederholte Abfragen während längerer Prüfungen von Foundry- oder Hardhat-Projekten günstig bleiben.