Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recommend building from source.
☆33Feb 11, 2026Updated 3 weeks ago
Alternatives and similar repositories for recon-extension
Users that are interested in recon-extension are comparing it to the libraries listed below
Sorting:
- ☆35Jul 4, 2025Updated 8 months ago
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated 2 months ago
- Call graph-based analysis tools for Solidity smart contracts. Visualize contract interactions, generate Foundry tests, analyze storage p…☆30Oct 4, 2025Updated 5 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆59Jan 18, 2026Updated last month
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆26Jan 14, 2026Updated last month
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆117Aug 25, 2025Updated 6 months ago
- Content for yAudit Reports Site☆29Feb 27, 2026Updated last week
- Staking contract for rewards to pool LPs☆11Jun 15, 2022Updated 3 years ago
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆32Jan 18, 2025Updated last year
- Nmap - the Network Mapper. Github mirror of official SVN repository.☆10Sep 5, 2018Updated 7 years ago
- The Red Guild's devcontainer focused in web3 and security.☆108Oct 10, 2025Updated 4 months ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆99Sep 3, 2024Updated last year
- ☆11Jun 9, 2020Updated 5 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- CTF tasks created☆11Jan 12, 2023Updated 3 years ago
- Hashed TimeLock Contracts for Coins/Lotion☆11Oct 21, 2018Updated 7 years ago
- ☆10Jul 15, 2022Updated 3 years ago
- Steam scripts for Outlands shard☆10Feb 15, 2020Updated 6 years ago
- PRB's collection of agent skills☆36Feb 25, 2026Updated last week
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Jul 27, 2023Updated 2 years ago
- Generate HID attack strings for Kali Nethunter☆12Mar 20, 2015Updated 10 years ago
- ☆18Sep 24, 2020Updated 5 years ago
- C & Shellcode Playground..☆10Dec 2, 2017Updated 8 years ago
- A Simple ShellcodeLoader☆11Jun 4, 2021Updated 4 years ago
- FOAM Signal Marketplace☆12Aug 28, 2024Updated last year
- A BurpSuite extension for beautifying .NET message parameters and hiding some of the extra clutter that comes with .NET web apps (i.e. __…☆10Feb 13, 2017Updated 9 years ago
- Estimate how long it takes to read a text☆12Sep 6, 2025Updated 6 months ago
- Reverse engineering the Github websocket API - alive.github.com☆14Apr 19, 2023Updated 2 years ago
- 🔏 Permit3: One-Click Cross-Chain Token Permissions☆16Nov 22, 2025Updated 3 months ago
- ☆13Jan 13, 2024Updated 2 years ago
- Security Token (WIP)☆11Oct 2, 2018Updated 7 years ago
- CVE-2018-13379 Script for Nmap NSE.☆12Sep 9, 2020Updated 5 years ago
- Example serverless project for AWS Lambda@Edge that adds Cache-Control headers to origin objects that doesn't already have one.☆13Nov 21, 2018Updated 7 years ago
- ☆16Updated this week
- Burp Extender plugin that generates a sitemap of a website using Wayback Machine☆12Jun 18, 2018Updated 7 years ago
- ☆12Nov 3, 2024Updated last year
- My attempt at writing exploit POCs for various CVEs☆16Feb 8, 2020Updated 6 years ago
- ☆11Oct 17, 2020Updated 5 years ago
- Random code snippets☆11Oct 27, 2023Updated 2 years ago