One click
invariant testing
Trusted by teams at Centrifuge, Credit Coop, and more. Over350 downloads.Run Echidna, Medusa and Halmos directly from VS Code.
Features

Works with any Foundry Project
Build your Foundry Project and the extension will automatically work with your project
3 Open Source Fuzzers Integrated
One click Mocks and TargetFunctions
Automatic Report Generation
Automatic Test Generation
Vyper Support, Automatic Library Linking
Testimonials
Our services are tailored to our customers
Trophies
Recon Pro was used to find these bugs
Audits
World Class Reviews, we open source every audit unless asked not to by our customers
TEAM
We can support your team at all stages of development
Early Stage:
Define key invariants, scaffold and maintain invariant testers
Add invariants as the project grows
Pre Audit Stage:
Reach 100% Coverage, handout to your Auditors a full set of test repros to produce meaningful states or broken properties
Solo Review Stage:
Recon is made by highly respected SRs that can help you with Manual Review
Audit Stage:
We can support you during audits, by adding new properties flagged by your reviewers and by reproducing bugs in invariant tests as a means to ensure they are not introduced later
Our cloud runners ensure you can quickly queue and test fixes, no more waiting for your engineer to come back from the weekend
Our offers:
Manual Review
>
A high quality review done by top Security Researchers, ideally paired with Invariant Testing
Invariant Test Writing
>
Testing written by an experienced fuzzing engineer, for projects that want to skill up their codebase, includes unlimited cloud runs during the engagement
Recon Pro
>
Cloud Fuzzing as a service, a versatile and easy way to run invariant testing in the cloud
30+
Pro Accounts
11.5k+
Jobs run in the cloud
9k+
Properties Broken
It's never been easier
3 click to run Medusa, Echidna, Halmos or Kontrol in the cloud, works with private repos
One click sharing and Corpus Reuse
Make your result public in one click with automatic reports and repro for all fuzzers
Ready for Automation
Run on PR, Commit or via API, trigger alerts on broken properties
A sprinkle of Magic
Run agentic workflows to help you identify invariants and reach coverage with invariant tests