Stars
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.
gustavo-grieco / echidna-xp
Forked from crytic/echidnaExperimental fork for Echidna, an Ethereum smart contract fuzzer
Call graph-based analysis tools for Solidity smart contracts. Visualize contract interactions, generate Foundry tests, analyze storage patterns, and trace execution paths.
A clean, plug and play CLI tool for managing remote fuzzing jobs.
Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)
Leveraging LLM-generated seeds for mutation-based fuzzing in Solidity smart contracts
A CLI tool that converts Echidna fuzzer reproducer .txt files into executable Foundry test files.
Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
CallTestAndUndo - a simple abstract contract to help you write invariant tests that do not influence the story
Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Open-VSX: https://open-vsx.org/extension/Recon-Fuzz/recon
A parser that converts echidna & medusa call traces into foundry PoC foundry tests
Offensive fuzzing suite for Origin Protocol WOETH.
Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).
Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.
EVM Smart Contract Explorer. Discover and track EVM smart contract data.
An extremely fast Python package and project manager, written in Rust.
Solidity library for advanced fixed-point math
A blazing fast and easy to configure neovim statusline plugin written in pure lua.
A small automated session manager for Neovim