MCP server for Slither static analysis of Solidity smart contracts - View it on GitHub