Slither MCP Server
Transforme le code Solidity en graphe d’appels interrogeable
Ajoutez-le à votre client
Officieluvx --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"
]
}
}
}- Transport
- stdio
- Environnement d’exécution
- Python
- Authentification
- Non requise
- Licence
- AGPL-3.0
- Étoiles
- 96
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.
Serveurs MCP similaires
Apollo MCP Server
Serveur MCPTransforme des opérations GraphQL choisies en outils MCP distincts
ESLint MCP Server
Serveur MCPApplique la vraie configuration ESLint du projet
Foundry MCP Server
Serveur MCPPilote Anvil, Cast et Forge pour tester et déployer

Commentaires(0)
Connectez-vous pour commenter