
slither-mcp
MCP server for Slither static analysis of Solidity smart contracts
ai-securityapi-security-testingcode-analysis+3
988 months ago

MCP server for Slither static analysis of Solidity smart contracts

Open-source and AI-powered cybersecurity tools for offensive security, vulnerability management, and autonomous pentesting. Built by hackers in Latin…

Collection of Solidity snippets and Foundry scripts for smart contract security audits

Iterative agent harness that uses LLMs and Certora Prover to generate and refine smart-contract CVL specs, feeding verifier output back until success…