INVARIANT TESTING IN THE CLOUD
Run Echidna, Medusa, Halmos, Foundry and Agentic Workflows for invariant testing in 3 clicks
Trusted by leading DeFi protocols
Benefits
THE MISSING PIECE
Invariant testing reruns on each commit — bugs don't come back
NEVER STUCK IN QUEUE
Unlimited parallel runs — we cap hours, not concurrency
ONE INTERFACE, ALL TOOLS
Echidna, Medusa, Foundry, Halmos and Kontrol — shareable runs, reusable corpus, RPC forks
DYNAMIC REPLACEMENT
Change test constants, block number, and RPC settings from the UI
RECON MAGIC
Agentic workflows that identify invariants and reach coverage automatically
Experimental
GOVERNANCE FUZZING
Trigger invariant testing suites against all your onchain smart contracts
Trophies
Recon Pro was used to find these bugs
Cap Money
Agent health changes after realizeRestakerInterest
Finding
|Recon Logs
Fuzzing helped found a way to desynch accounting
Spine Finance
Permanent DOS and loss of funds when Y reaches 0
Finding
|Recon Logs
Fuzzing with a Lossy Vault allowed to identify this edge case
Badger
Insolvency due to Incorrect Accounting
Finding
|Recon Logs
remBADGER Accounting bug, prevented
TapiocaDAO
Overflow causes Permanent DOS in twTAP
Finding
|Recon Logs
The only researcher that wrote a POC
Centrifuge
Rounding errors allows bypassing caps
Finding
|Recon Logs
Invariant Tests helped prevent a notoriously hard to detect edge case
Corn
Insolvency due to Incorrect Accounting
Finding
|Recon Logs
Invariant Testing quickly found a mistake in accounting and helped ensure all subsequent changes were safe
Credit Coop
Rounding allows bypassing minting cap
Finding
|Recon Logs
Invariant testing helped identify a rounding issue allowing a minting cap to be bypassed
TapiocaDAO
Incorrect decoding in decodeLockTwpTapDstMsg
Finding
|Recon Logs
Showing how Invariant tests could have caught this
How does it work
Installation is faster than finding your hardware wallet
- 1
Connect
Install the GitHub App in one click
- 2
Run
Launch Echidna, Medusa, or Halmos in 3 clicks
- 3
Reuse
Save configurations as Recipes — never re-setup
- 4
Automate
Trigger on PRs, commits, or onchain events
Tutorial Videos
Intro to Recon Pro V2
1min
Next Videos (18)
5min
Run Jobs with Recon Pro
8min
Recon Magic Workflow
2min
Recipes
2min
Alerts
1min
Dynamic Replacement
3min
Campaigns
2min
Governance Fuzzing
2min
Corpus Reuse
5min
Echidna Jobs
2min
Foundry Jobs
1min
Medusa Jobs
1min
Halmos Jobs
1min
All Recon Tools
5min
The Recon Extension
3min
Storage & Governance Tools
4min
Economic Tools
6min
Bytecode Tools
1min
The Recon Sandbox
Invariant testing starters
Create Chimera App
The easiest way to scaffold invariant tests
Eigenlayer Fuzzing
A plug and play suite to test meaningful Eigenlayer States, a must for every Eigenlayer Integrator
Renzo Fuzzing
A complete invariant suite for the Renzo Protocol, able to replicate multiple exploits found in subsequent audits
Call Test Undo
A simple contract meant to turn state changing function calls into invariant tests that do not pollute the story
ERC7540 Reusable Properties
Simple to Reuse, high level properties for ERC7540 Vaults, Built in Collaboration with Centrifuge
Chimera
Open Source Framework to unify Invariant, Fuzz and Formal Verification into a single, write once run everywhere API