CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
☆14Feb 20, 2023Updated 3 years ago
Alternatives and similar repositories for foundry2echidna
Users that are interested in foundry2echidna are comparing it to the libraries listed below
Sorting:
- gas comparisons between vyper and solady☆20Sep 21, 2024Updated last year
- AI Smart Contract Security Analysis and PoC Generation Framework☆34Feb 17, 2026Updated last month
- Node module for scanning and visualize Solana accounts☆39Mar 3, 2025Updated last year
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Jul 15, 2024Updated last year
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Oct 7, 2022Updated 3 years ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆41Sep 15, 2021Updated 4 years ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆117Aug 25, 2025Updated 6 months ago
- Lightweight, Gracefull Push + Pull Pattern Demo☆20May 10, 2022Updated 3 years ago
- Solidity smart-contracts for a fully on-chain hyper-casual gaming platform!☆10Feb 15, 2023Updated 3 years ago
- Smart contract for JOJO Exchange (EVM version)☆30Dec 4, 2024Updated last year
- A 6-part series on how to use Echidna on real-world codebases☆111Jun 29, 2023Updated 2 years ago
- A Foundry template to deploy a cross-chain CREATE2 contract factory☆23Feb 19, 2023Updated 3 years ago
- A library to assist with handling sparse arrays in storage.☆28Jan 26, 2023Updated 3 years ago
- Creates a snapshot of any ERC20 token in JSON or CSV format. Compatible with all EVM chains.☆11Dec 14, 2023Updated 2 years ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆59Jan 18, 2026Updated 2 months ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- A utility to extract the issue links for a particular contest submitted by a particular user. Generates a markdown table with the issue l…☆39Sep 13, 2024Updated last year
- ☆14Aug 28, 2023Updated 2 years ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆78Jul 31, 2024Updated last year
- 🕵️ Check ERC20 token implementations on all chains.☆19Jan 6, 2024Updated 2 years ago
- ☆39Sep 23, 2024Updated last year
- chainlink service to provide trust minimised meta-transactions☆10May 26, 2022Updated 3 years ago
- Fuzzied - continuous fuzzing for smart contracts [ETHBerlin³ Submission]☆10Sep 27, 2022Updated 3 years ago
- ⚡ Call multiple view functions, from multiple Smart Contracts, in a single RPC query!☆24Apr 25, 2023Updated 2 years ago
- A developer's guide to building dapps on Fuel.☆14Sep 15, 2022Updated 3 years ago
- A vscode extension that copies huff's code stack comment and paste in the next line, making it easy for Huffooors to write opcodes w/o wo…☆14Apr 25, 2024Updated last year
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Jul 27, 2023Updated 2 years ago
- Node.js wrapper for open-pdf-sign cli☆14Dec 5, 2025Updated 3 months ago
- code-along code for my youtube video series with the same name☆10Aug 14, 2022Updated 3 years ago
- Fetch cryptodata into google-sheets for free from either Coingecko or Coinpaprika. Enjoy!☆11Dec 14, 2023Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Nov 7, 2023Updated 2 years ago
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆48Feb 25, 2026Updated 3 weeks ago
- Automates the verification of Solidity tests written using BTT technique☆19Feb 24, 2026Updated 3 weeks ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- A list of public fuzzing campaigns☆129Jan 24, 2026Updated last month
- ☆12Mar 10, 2020Updated 6 years ago
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Dec 12, 2023Updated 2 years ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆153Dec 15, 2025Updated 3 months ago
- LCOV tracefile parser/merger/filter in pure Rust.☆16Mar 13, 2026Updated last week