Slither MCP Server

Ce qu'il fait\nEncapsule le framework d'analyse statique Slither pour fournir aux LLM des informations approfondies sur les contrats intelligents Solidity. Il permet à l'IA d'analyser les structures de projet, de détecter les vulnérabilités de sécurité et de cartographier les relations d'appels de fonctions.\n\n## Outils\n- list_contracts : Liste les contrats avec des filtres par type ou chemin.\n- get_contract : Récupère les métadonnées détaillées du contrat et l'héritage.\n- get_contract_source : Obtient le code source complet d'un contrat.\n- get_function_source : Obtient le code source d'une fonction spécifique.\n- list_functions : Filtre les fonctions par contrat, visibilité ou modificateurs.\n- function_callees : Cartographie les appels internes/externes/bibliothèques d'une fonction.\n- function_callers : Trouve toutes les fonctions qui appellent une fonction cible.\n- get_inherited_contracts : Arbre récursif des contrats parents.\n- get_derived_contracts : Arbre récursif des contrats enfants.\n- run_detectors : Exécute les détecteurs de sécurité Slither et récupère les résultats.\n\n## Installation\nAjoutez ce qui suit à votre fichier claude_desktop_config.json :\n\njson\n{\n "slither-mcp": {\n "command": "uvx",\n "args": ["--from", "git+https://github.com/trailofbits/slither-mcp", "slither-mcp"]\n }\n}\n\n\n## Hôtes supportés\nClaude Desktop, Cursor, Claude Code