Skip to content

@Recon-Fuzz Recon

Change the repository type filter

All

    Repositories list

    24 repositories

    • create-chimera-app

      Public template
      One click magically working Foundry + Medusa + Echidna Starter
      Solidity
      •9•31•0•1•Updated Feb 21, 2025Feb 21, 2025

    • nerite

      Public
      Nerite's fork of the Liquity v2 monorepo containing the contracts, subgraph and frontend.
      Solidity
      •
      Other
      •46•0•0•0•Updated Feb 18, 2025Feb 18, 2025

    • chimera

      Public
      Smart Contract Property-Based Testing Framework
      smart-contractsmedusafuzzerfoundryechidnahalmos
      Solidity
      •9•99•0•0•Updated Feb 10, 2025Feb 10, 2025

    • vaults-fuzzing-example

      Public
      An example repo with properties defined for ERC4626 vaults (see Recon substack for accompanying post).
      Solidity
      •0•0•0•0•Updated Jan 28, 2025Jan 28, 2025

    • audits

      Public
      Public Report from Security Reviews, and Invariant Testing Engagements
      0•2•0•0•Updated Jan 24, 2025Jan 24, 2025

    • liquity-governance-fuzzing

      Public
      Solidity
      •0•1•0•0•Updated Dec 16, 2024Dec 16, 2024

    • ebtc

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •27•0•0•0•Updated Dec 8, 2024Dec 8, 2024

    • properties-table

      Public template
      A template for creating tables to track properties implemented for an invariant testing suite
      0•0•0•0•Updated Dec 7, 2024Dec 7, 2024

    • prank-echidna-vs-foundry

      Public
      Repro of issues with pranking when comparing echidna and foundry
      Solidity
      •0•1•0•0•Updated Nov 27, 2024Nov 27, 2024

    • hevm-precompile-crash-unexpected

      Public
      Repro of an unexpected crash, we would expect the compiler to prevent calling into a pre-compile, however HEVM crashes echidna either way
      Solidity
      •0•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • ERC4626Tester

      Public
      ERC4626 mock with functions to register yield and losses
      Solidity
      •
      MIT License
      •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

    • psm3-demo

      Public
      Solidity
      •1•0•0•0•Updated Nov 13, 2024Nov 13, 2024

    • .github

      Public
      0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • aura-locker-module-review

      Public
      0•1•5•0•Updated Oct 24, 2024Oct 24, 2024

    • Invariants

      Public
      A public collection of invariants to reuse, learn and kickstart a new project
      0•0•0•0•Updated Oct 12, 2024Oct 12, 2024

    • echidna

      Public
      Ethereum smart contract fuzzer
      Haskell
      •
      GNU Affero General Public License v3.0
      •390•0•0•0•Updated Oct 8, 2024Oct 8, 2024

    • foundry-default-example

      Public
      This repository is meant to be a simple example for setting up an invariant testing suite on
      Solidity
      •0•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • erc7540-properties-example

      Public
      Solidity
      •
      GNU Lesser General Public License v3.0
      •0•2•0•0•Updated Aug 19, 2024Aug 19, 2024

    • erc7540-reusable-properties

      Public
      Solidity
      •0•5•0•0•Updated Aug 16, 2024Aug 16, 2024

    • eigenlayer-fuzzing

      Public
      Solidity
      •
      Other
      •0•3•0•0•Updated Aug 9, 2024Aug 9, 2024

    • renzo-fuzzing

      Public
      Solidity
      •
      Other
      •0•2•0•0•Updated Jul 31, 2024Jul 31, 2024

    • call-test-undo

      Public
      CallTestAndUndo - a simple abstract contract to help you write invariant tests that do not influence the story
      Solidity
      •
      GNU General Public License v2.0
      •0•4•0•0•Updated May 2, 2024May 2, 2024

    • dev

      Public
      Liquity v1 monorepo containing the contracts, SDK and Dev UI frontend.
      JavaScript
      •
      GNU General Public License v3.0
      •322•0•0•0•Updated Apr 15, 2024Apr 15, 2024

    • demo-recon-twap

      Public
      Solidity
      •0•1•0•0•Updated Jan 19, 2024Jan 19, 2024