Stars
The best smart contracts in one place.
A collection of smart contract vulnerabilities along with prevention methods
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
DeepAnalyze is the first agentic LLM for autonomous data science. 🎈你的AI数据分析师，自动分析大量数据，一键生成专业分析报告！
🍋 An open dataset containing smart contract audit issues from various sources.
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.
LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.
An autonomous LLM-agent for large-scale, repository-level code auditing
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
Primers for Specialist AI Smart Contract Auditors
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
K Semantics of the Ethereum Virtual Machine (EVM)
Overview of the formal verification projects in the Ethereum ecosystem.
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
Solhint is an open-source project to provide a linting utility for Solidity code.
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
A curated list of blockchain security Capture the Flag (CTF) competitions
[ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
A formal verifier and analysis tool for Solidity Smart Contracts