Recon is a boutique audit firm, that is making Invariant Testing the new default.
Check our Open Source repositories for:
- Create Chimera App: The easiest way to start writing and running Invariant Tests, currently on it's 2nd version.
- Recon Fuzzer: An Echidna clone written in Rust, 10 times faster.
- Recon Magic Framework: An AI orchestration framework with prompts and custom tools to automate invariant testing, 40 times faster than doing it by hand.
- Recon Extension: The most popular invariant testing tool for Solidity, used by over 1.3k developers.
- Audits: Our public audit Reports, we publish 100% of reports, unless our customers ask us not to.
Our team has saved over 20 Million Dollars of live, at risk, funds, and has prevented billions in dollars in damages through our audits.
- Badger
- Centrifuge
- Corn
- Smilee
- Liquity
- Solidity Labs
- Onchainification
- Balancer DAO
- Beraborrow
- Credit Coop
Our customers have over $30 BLN in total TVL
- Audits powered by Invariant Testing
- Recon Pro: Best in class way to run Echidna, Medusa, Foundry, Halmos and Kontrol in the cloud, with extensive automations, alerts and ongoing fuzzing utilities
- Invariant Testing Engagements, bootstrap your invariants or maintain them with our extremely experienced engineers
- Security Audits by Alex The Entreprenerd and other highly qualified, trusted, researchers
- Ongoing onchain monitoring, automated invariant tests to prevent real world exploits
We ran invariant tests against some of the toughest codebase
- Badger - Crit
- Centrifuge - Med
- Tapioca - Highs and Meds
- Euler - Broken Spec
And many more we are awaiting for permission to publish
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