Stars
A benchmark and harness for finding and exploiting smart contract bugs
Claude-Code-Python: Reconstructing Claude Code in Python
Artifacts of Onchain Exploit Analysis
Orchestrate thousands of agents and harnesses as a graph programatically
Fully autonomous & self-evolving research from idea to paper. Chat an Idea. Get a Paper. 🦞
AI-powered bug bounty hunting from your terminal - recon, 20 vuln classes, autonomous hunting, and report generation. All inside Claude Code.
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 papers on agentic SE 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).