
slither-mcp
MCP server for Slither static analysis of Solidity smart contracts

MCP server for Slither static analysis of Solidity smart contracts

PoC of CVE-2025-22710

Demystifying Exploitable Bugs in Smart Contracts

This is an intentionally vulnerable smart contract truffle deployment aimed at allowing those interested in smart contract security to exploit a wide…

OWASP Smart Contract Security (SCS) Project

Static Analyzer for Starknet smart contracts

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

Framework for auditing blockchain ecosystems, identifying smart contract vulnerabilities, and generating structured findings with multi-platform…

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