Stars
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
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…
Open source software that helps you create and deploy high-frequency crypto trading bots
AI-powered bug bounty hunting from your terminal - recon, 20 vuln classes, autonomous hunting, and report generation. All inside Claude Code.
Artifacts of Onchain Exploit Analysis
K Semantics of the Ethereum Virtual Machine (EVM)
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
Orchestrate thousands of agents and harnesses as a graph programatically
Solhint is an open-source project to provide a linting utility for Solidity code.
A continuously updated collection of papers on agentic SE maintained by PurCL group @ Purdue
Fully autonomous & self-evolving research from idea to paper. Chat an Idea. Get a Paper. 🦞
[ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
DeepAnalyze is the first agentic LLM for autonomous data science. 🎈你的AI数据分析师，自动分析大量数据，一键生成专业分析报告！
Claude-Code-Python: Reconstructing Claude Code in Python
An autonomous LLM-agent for large-scale, repository-level code auditing
A benchmark and harness for finding and exploiting smart contract bugs
A collection of smart contract vulnerabilities along with prevention methods
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
The best smart contracts in one place.
Primers for Specialist AI Smart Contract Auditors
Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.