trailofbits/slither-mcp
If you are the rightful owner of slither-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to dayong@mcphub.com.
The Slither MCP Server is a Model Context Protocol server that provides static analysis capabilities for Solidity smart contracts using Slither.
Tools
Functions exposed to the LLM to take actions
list_contracts
List contracts with filters by type or path pattern.
get_contract
Get detailed contract information including functions and inheritance.
get_contract_source
Get the complete source code of the Solidity file containing the specified contract.
get_function_source
Get the source code for a specific function with line numbers.
list_functions
List functions with filters by contract, visibility, or modifiers.
function_callees
Get function call relationships including internal, external, and library calls.
function_callers
Get functions that call a target function, grouped by call type.
get_inherited_contracts
Get a recursive tree of all contracts that a contract inherits from.
get_derived_contracts
Get a recursive tree of all contracts that inherit from a contract.
list_function_implementations
Find all implementations of a function signature across contracts.
list_detectors
List available Slither detectors with metadata.
run_detectors
Get detector results with filtering by names, impact, or confidence levels.
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client