Slither MCP Server

What it does\nWraps the Slither static analysis framework to provide LLMs with deep insights into Solidity smart contracts. It allows the AI to analyze project structures, detect security vulnerabilities, and map function call relationships.\n\n## Tools\n- list_contracts: List contracts with filters for type or path.\n- get_contract: Retrieve detailed contract metadata and inheritance.\n- get_contract_source: Get full source code of a contract.\n- get_function_source: Get source code for a specific function.\n- list_functions: Filter functions by contract, visibility, or modifiers.\n- function_callees: Map internal/external/library calls from a function.\n- function_callers: Find all functions that call a target function.\n- get_inherited_contracts: Recursive tree of parent contracts.\n- get_derived_contracts: Recursive tree of child contracts.\n- run_detectors: Execute Slither security detectors and retrieve results.\n\n## Installation\nAdd the following to your 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## Supported hosts\nClaude Desktop, Cursor, Claude Code