Aller au contenu
↑↓naviguer↵ouvrirescfermer
Claude+372Whisper+228LangChain+168Codex+223NotebookLM+276DALL-E 3+192DeepL+249n8n+208Topaz Video AI+153LlamaIndex+161
Slither MCP Server logo
Serveur MCP

Slither MCP Server

Transforme le code Solidity en graphe d’appels interrogeable

0
EnregistrerVisiter le site ↗
Étoiles GitHub
96
Dépôt sur GitHub

Ajoutez-le à votre client

Officiel
Installation
uvx --from git+https://github.com/trailofbits/slither-mcp slither-mcp
mcpServers
{
  "mcpServers": {
    "slither-mcp": {
      "command": "uvx",
      "args": [
        "--from",
        "git+https://github.com/trailofbits/slither-mcp",
        "slither-mcp"
      ]
    }
  }
}
Transport
stdio
Environnement d’exécution
Python
Authentification
Non requise
Licence
AGPL-3.0
Étoiles
96
Outils
list_contractsget_contractget_function_sourcefunction_callersfunction_calleesget_inherited_contractsget_derived_contracts

Lire séparément les fichiers d’un smart contract ne montre pas clairement qui peut atteindre une fonction privilégiée ; Slither construit ce graphe, et ce serveur de Trail of Bits l’expose sous forme d’outils. Il peut répertorier les contrats par type — concret, abstrait, interface ou bibliothèque —, parcourir les appelants et les fonctions appelées, y compris les appels de bas niveau, explorer l’héritage dans les deux sens et filtrer les résultats des détecteurs pour ne conserver que les alertes à forte confiance. Les résultats d’analyse sont mis en cache dans artifacts/project_facts.json au sein du projet, ce qui réduit le coût des requêtes répétées pendant une longue revue d’un projet Foundry ou Hardhat.

Commentaires(0)

Connectez-vous pour commenter

Aucun commentaire pour le moment — soyez le premier.

Serveurs MCP similaires

Signaler ce commentaire

Pourquoi effectuez-vous ce signalement ?