Stars
An open-source AI agent that brings the power of Gemini directly into your terminal.
Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
Leveraging LLM-generated seeds for mutation-based fuzzing in Solidity smart contracts
radius2 is a fast binary emulation and symbolic execution framework using radare2
Using Intel's PIN tool to solve CTF problems
Artefacts for blog post on finding CVE-2025-37899 with o3
Access large language models from the command-line
A benchmarking platform for Solidity fuzzers
just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
Girl Friend <- Generate Foundry Fork Test from Attack Transaction
SFA VectorEyes is a powerful tool for vulnerability report vectorization and detection library building for smart contract security analysis. It enables security researchers, auditors, and blockcha…
Smart Contract Analyser is a command-line tool that leverages a local LLM to analyse smart contract files. It provides detailed reports and visual diagrams (Mermaid) to help understand, audit, and …
Examples of usage of halmos-helpers-lib
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission ever 8000 y step of the way.
Large Language Model guided Protocol Fuzzing (NDSS'24)
🍋 An open dataset containing smart contract audit issues from various sources.
Benchmark Generator for Smart-Contract Fuzzers
A collection of resources to help you build better and more secure Solana programs. Kept up to date.
Multi-agent framework for design, simulation, and auditing.
This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.
An example repo with properties defined for ERC4626 vaults (see Recon substack for accompanying post).