
evm-audit-helpers
Collection of Solidity snippets and Foundry scripts for smart contract security audits

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

OWASP Smart Contract Security (SCS) Project

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

MCP server for Slither static analysis of Solidity smart contracts

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

Demystifying Exploitable Bugs in Smart Contracts

PoC of CVE-2025-22710

Static Analyzer for Starknet smart contracts

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