Smart Contract Fuzzing Towards Profitable Vulnerabilities
☆64Jul 9, 2025Updated 10 months ago
Alternatives and similar repositories for verite
Users that are interested in verite are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Access your MDBX database over network safely☆27Jan 6, 2026Updated 4 months ago
- Fast http/https host scanner for find original IP behind CDN☆14Aug 21, 2025Updated 9 months ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆76Apr 16, 2024Updated 2 years ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆93Dec 2, 2025Updated 5 months ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Dec 16, 2024Updated last year
- 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.
- Barebones Solidity smart contract fuzzer☆96Jul 20, 2022Updated 3 years ago
- Minimalistic Growth16 snark system.☆10Jul 18, 2023Updated 2 years ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆75Dec 11, 2025Updated 5 months ago
- Framework to build MEV bots in Rust on Solana☆10Jan 23, 2026Updated 4 months ago
- Token Balance Storage Slot Searcher☆15May 9, 2024Updated 2 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆27Feb 13, 2025Updated last year
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆29Jul 15, 2024Updated last year
- ☆69Feb 4, 2026Updated 3 months ago
- EDB: The Ethereum Project Debugger☆362May 10, 2026Updated 2 weeks 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.
- MCP server for searching and retrieving Solodit vulnerability reports.☆41Jun 30, 2025Updated 10 months ago
- Tracing the evolution of AI and large language models from early neural networks to GPT-4 and beyond.☆10Dec 30, 2025Updated 4 months ago
- Public Report from Security Reviews, and Invariant Testing Engagements☆17Jan 28, 2026Updated 3 months ago
- Tool to decide the optimal amount to flashloan arbing on Uni V2 & V3☆21Sep 26, 2023Updated 2 years ago
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆87Jul 23, 2025Updated 10 months ago
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆210Jan 5, 2026Updated 4 months ago
- X-MAS CTF 2021 Ethereum challenges☆28Dec 21, 2021Updated 4 years ago
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆129Sep 16, 2025Updated 8 months ago
- ☆13Nov 14, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple http server to cache specific eth rpc requests in memory.☆16Aug 11, 2025Updated 9 months ago
- Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Feb 28, 2024Updated 2 years ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14May 9, 2025Updated last year
- ☆26Feb 7, 2024Updated 2 years ago
- Safer than SafeMath. Goes up to 11!☆39Apr 21, 2025Updated last year
- Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts☆1,100Dec 10, 2025Updated 5 months ago
- Revm DB that fetches latest state directly from Reth DB☆43May 26, 2025Updated last year
- ☆85Feb 2, 2025Updated last year
- ☆39Mar 10, 2024Updated 2 years 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.
- Prototype risk modeling simulation for Portfolio using Arbiter.☆20Aug 4, 2023Updated 2 years ago
- ☆23Apr 23, 2026Updated last month
- A modular tool to track anything on the EVM chain, including real-time tracking and alerts.☆187May 15, 2025Updated last year
- Solidity calldata, memory, transient storage, and storage debugger☆22Aug 6, 2023Updated 2 years ago
- ☆115May 13, 2026Updated last week
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆47Oct 25, 2024Updated last year
- AI engine for smart contract audit☆350Jan 6, 2026Updated 4 months ago