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☆45Apr 9, 2026Updated 2 weeks ago
- 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 8 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
- 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
- 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.
- 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☆60Jan 18, 2026Updated 3 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.☆18Jan 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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 3 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 2 years ago
- 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 4 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
- 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.
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆49Apr 1, 2026Updated 3 weeks ago
- Pre-built security properties for commonly forked DeFi protocols☆197Nov 7, 2023Updated 2 years ago
- Automates the verification of Solidity tests written using BTT technique☆19Feb 24, 2026Updated 2 months ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- A list of public fuzzing campaigns☆128Jan 24, 2026Updated 3 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