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"
      ]
    }
  }
}

Questo wrapper ufficiale di Trail of Bits espone l'analisi di Slither come strumenti interrogabili, mostrando chi può raggiungere una funzione privilegiata senza limitarsi alla lettura dei singoli file. Può elencare i contratti filtrandoli per concreti, astratti, interfacce o librerie, percorrere chiamanti e chiamati includendo le chiamate di basso livello, esplorare l'ereditarietà in entrambe le direzioni e filtrare i risultati dei rilevatori per mostrare solo quelli ad alta affidabilità. I risultati vengono memorizzati in artifacts/project_facts.json all'interno del progetto, rendendo economiche le interrogazioni ripetute durante lunghe revisioni di progetti Foundry o Hardhat.