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
- 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
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆29Jul 15, 2024Updated 2 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☆116Aug 25, 2025Updated 10 months 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.
- Lightweight, Gracefull Push + Pull Pattern Demo☆20May 10, 2022Updated 4 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 Foundry template to deploy a cross-chain CREATE2 contract factory☆23Feb 19, 2023Updated 3 years ago
- A 6-part series on how to use Echidna on real-world codebases☆112Jun 29, 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
- A library to assist with handling sparse arrays in storage.☆28Jan 26, 2023Updated 3 years ago
- Fetch cryptodata into google-sheets for free from either Coingecko or Coinpaprika. Enjoy!☆11Dec 14, 2023Updated 2 years ago
- Call graph-based analysis tools for Solidity smart contracts. Visualize contract interactions, generate Foundry tests, analyze storage p…☆33Oct 4, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- code-along code for my youtube video series with the same name☆10Aug 14, 2022Updated 3 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…☆40Sep 13, 2024Updated last year
- Node module for scanning and visualize Solana accounts☆39Mar 3, 2025Updated last year
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆78Jul 31, 2024Updated last year
- chainlink service to provide trust minimised meta-transactions☆11May 26, 2022Updated 4 years ago
- ☆14Aug 28, 2023Updated 2 years ago
- ☆40Sep 23, 2024Updated last year
- ⚡ 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- Node.js wrapper for open-pdf-sign cli☆14Dec 5, 2025Updated 7 months ago
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆52Apr 1, 2026Updated 3 months ago
- 🕵️ Check ERC20 token implementations on all chains.☆18Jan 6, 2024Updated 2 years ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Nov 7, 2023Updated 2 years ago
- Automates the verification of Solidity tests written using BTT technique☆19Feb 24, 2026Updated 4 months ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆156Dec 15, 2025Updated 7 months ago
- My version of a clone factory with immutable args WIP!☆18May 7, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- AuditAgent scoring algorithm to evaluate the results of AI security scans versus a source of truth.☆18Mar 12, 2026Updated 4 months ago
- A list of public fuzzing campaigns☆129Jan 24, 2026Updated 5 months ago
- ☆12Mar 10, 2020Updated 6 years ago
- Optimizor SQRT challenge solution☆26Nov 2, 2022Updated 3 years ago
- Solidity abi.encodePacked() re-implementation in Rust☆34Jun 18, 2023Updated 3 years ago
- A blog cms built using Nextjs, Supabase & TipTap.☆20Sep 7, 2024Updated last year
- 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