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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- gas comparisons between vyper and solady☆20Sep 21, 2024Updated last year
- AI Smart Contract Security Analysis and PoC Generation Framework☆41Feb 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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☆118Aug 25, 2025Updated 7 months ago
- Lightweight, Gracefull Push + Pull Pattern Demo☆20May 10, 2022Updated 3 years ago
- Nix overlay for Cairo☆11May 8, 2024Updated last year
- Solidity smart-contracts for a fully on-chain hyper-casual gaming platform!☆10Feb 15, 2023Updated 3 years ago
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- ☆40Sep 23, 2024Updated last year
- [WIP!] Coordinates two anvil process (L1 and L2) for testing / forking op-stack chains (mocktimism placeholder name)☆21May 6, 2024Updated last year
- chainlink service to provide trust minimised meta-transactions☆10May 26, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 Python script to scan EVM-based blockchains for smart contract upgrades☆10Jul 27, 2023Updated 2 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
- Node.js wrapper for open-pdf-sign cli☆14Dec 5, 2025Updated 4 months ago
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆49Apr 1, 2026Updated last week
- Pre-built security properties for commonly forked DeFi protocols☆197Nov 7, 2023Updated 2 years ago
- Fetch cryptodata into google-sheets for free from either Coingecko or Coinpaprika. Enjoy!☆11Dec 14, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automates the verification of Solidity tests written using BTT technique☆19Feb 24, 2026Updated last month
- 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 2 months ago
- ☆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.☆17Mar 23, 2026Updated 2 weeks ago