Skip to content
@Recon-Fuzz

Recon

Cloud Fuzzing, Invariant Testing and Boutique Security Reviews
README.md

Recon

This is cloud fuzzing

Trusted By

  • Badger
  • Centrifuge
  • Corn
  • Smilee
  • Liquity
  • Solidity Labs
  • Onchainification
  • Balancer DAO

Our customers have over $1 BLN in TVL

Services

  • Run Echidna, Medusa, Foundry, Halmos and Kontrol in the cloud
  • Invariant Testing Engagements, bootstrap your invariants or maintain them
  • Security Reviews by Alex The Entreprenerd and the Recon Team
  • Ongoing onchain monitoring, automated invariant tests to prevent real world exploits

Trophies

We ran invariant tests against some of the toughest codebase

  • Badger - Crit
  • Centrifuge - Med
  • Tapioca - Highs and Meds
  • Euler - Broken Spec

Best Practices

We offer multiple starter templates for invariant testing

Feel free to browse around or try our tools at: https://getrecon.xyz/

We can help you build smart contracts, reach out for advisory services

Popular repositories Loading

  1. chimera chimera Public

    Smart Contract Property-Based Testing Framework

    Solidity 69 8

  2. create-chimera-app create-chimera-app Public template

    One click magically working Foundry + Medusa + Echidna Starter

    Solidity 23 4

  3. erc7540-reusable-properties erc7540-reusable-properties Public

    Solidity 4 1

  4. eigenlayer-fuzzing eigenlayer-fuzzing Public

    Solidity 2

  5. call-test-undo call-test-undo Public

    CallTestAndUndo - a simple abstract contract to help you write invariant tests that do not influence the story

    Solidity 2

  6. erc7540-properties-example erc7540-properties-example Public

    Solidity 2

Repositories

Showing 10 of 15 repositories
  • psm3-demo Public
    Recon-Fuzz/psm3-demo’s past year of commit activity
    Solidity 0 1 0 0 Updated Nov 13, 2024
  • chimera Public

    Smart Contract Property-Based Testing Framework

    Recon-Fuzz/chimera’s past year of commit activity
    Solidity 69 8 0 0 Updated Nov 7, 2024
  • .github Public
    Recon-Fuzz/.github’s past year of commit activity
    0 0 0 0 Updated Nov 5, 2024
  • audits Public

    Public Report from Security Reviews, and Invariant Testing Engagements

    Recon-Fuzz/audits’s past year of commit activity
    1 0 0 0 Updated Nov 5, 2024
  • aura-locker-module-review Public
    Recon-Fuzz/aura-locker-module-review’s past year of commit activity
    1 1 5 1 Updated Oct 24, 2024
  • create-chimera-app Public template

    One click magically working Foundry + Medusa + Echidna Starter

    Recon-Fuzz/create-chimera-app’s past year of commit activity
    Solidity 23 4 0 2 Updated Oct 23, 2024
  • Invariants Public

    A public collection of invariants to reuse, learn and kickstart a new project

    Recon-Fuzz/Invariants’s past year of commit activity
    0 0 0 0 Updated Oct 12, 2024
  • echidna Public Forked from crytic/echidna

    Ethereum smart contract fuzzer

    Recon-Fuzz/echidna’s past year of commit activity
    Haskell 0 AGPL-3.0 380 0 0 Updated Oct 8, 2024
  • foundry-default-example Public

    This repository is meant to be a simple example for setting up an invariant testing suite on

    Recon-Fuzz/foundry-default-example’s past year of commit activity
    Solidity 0 0 0 0 Updated Sep 27, 2024
  • erc7540-properties-example Public
    Recon-Fuzz/erc7540-properties-example’s past year of commit activity
    Solidity 2 LGPL-3.0 0 0 0 Updated Aug 19, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…