Recon

Open Source

Unified invariant testing platform that integrates Echidna, Medusa, Halmos, and Foundry into one workflow with auto-generated boilerplate and parallel fuzzing.

About

Recon connects to any open-source Solidity project and automatically generates the boilerplate code needed for invariant testing across Echidna, Medusa, and Foundry. It enables parallel fuzzing, reusable test setups, and live monitoring. Used by protocols like Centrifuge and Badger DAO to secure over $1B+ in TVL.