Slither MCP Servermcp
MCP server wrapping Slither static analysis for Solidity. Lets agents query contracts, functions, inheritance, and call graphs, and run Slither's security detectors over a Foundry or Hardhat project.
Smart contract analysis, vulnerability detection, and formal verification.