Stars
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
[Support 0.49.x]（Reset Cursor AI MachineID & Bypass Higher Token Limit） Cursor Ai ，自动重置机器ID ， 免费升级使用Pro功能: You've reached your trial request limit. / Too many free trial accounts used on this machi…
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
Open source software that helps you create and deploy high-frequency crypto trading bots