CONTINUOUS AI AUDITS POWERED BY INVARIANT TESTING
Find bugs on every commit, automatically maintain your tests with AI. With proven technology that prevented $20M+ from being stolen.
Trusted by leading DeFi protocols





TVL Protected
$3BLN+
Aggregate TVL of our Customers
$20MLN+
Funds saved in 2025 by our team using Recon Pro.
12.5k+
Cloud Fuzzing Runs done with Recon Pro
Benefits
THE MISSING PIECE
AI Maintains your Invariant Tests, and reruns them on each commit, ensuring bugs don't come back.
ZERO EXTRA WORK FROM YOUR END
Unlimited number of parallel runs, we cap the total hours of usage, not the number of concurrent runs
GO DEEPER WHEN YOU NEED IT
Behind the automations, AI is writing Solidity Invariant Tests. Using Echidna, Medusa, Foundry, Halmos and Kontrol, you can clone the repo and maintain it whenever you need to.
EVERY ADVANCED FEATURE YOU CAN THINK OF
Change your tests constants, block number, from the UI, run a test triggered by API, onchain Event. Fork testing. Automated Alerts on broken properties.
RECON MAGIC
One Click agentic workflows to help you identify invariants and reach coverage with invariant tests
Experimental
BATTLE-TESTED CLOUD INFRA
Run professional grade invariant tests with Foundry, Echidna, Medusa, Halmos and Kontrol in the cloud
Testimonials
Our services are tailored to our customers

We worked with the phenomenal @getreconxyz team to get invariant testing coverage for the @centrifuge ERC-7540 implementation, leveraging their Recon Pro platform. Looking forward to seeing where @getreconxyz goes next, they have ambitious plans to take invariant testing to the next level!
Centrifuge
Jeroen - CTO
We first met Alex during some excellent security discussions re: Liquity v1. The breadth and depth of his audit of our v2 exceeded expectations - particularly impressive for a solo effort. He uncovered several technical, arithmetic and economic issues and discussed them with us in detail. I'd highly recommend his manual reviews for any DeFi team that takes their security seriously.
Liquity
Rick - Cofounder

Recon has allowed us to speed up the development of invariant tests immensely. We are able to create and execute test suites in the cloud effortlessly with virtually no boilerplate code. I highly recommend using Recon to automate your fuzzing setup.
Badger DAO
James - Lead Dev

The recon team is continuously innovating to make invariant testing vastly more accessible to projects, which makes a meaningful difference in security outcomes. They bring their broad expertise in and passion for web3 security to any engagement above and beyond the specified scope.
Corn
Dapp - Cofounder

Engaging with Alex&Lourens showed great proactiveness to answer deep-technical Qs along the process and help to discuss together items that require deeper drilling on invariants, really valuable not only their ability to answer Qs, but educating you on the process and empowering your team for better understanding of invariants on your architecture!
Onchainification
Petrovska - Cofounder

Alex has an incredible eye for detail, leaving no stone unturned during our audit. His review helped us gain confidence in our codebase before going to a competitive audit. I would highly recommend Alex's security services to anyone building smart contract systems.
Solidity Labs
Elliot - Founder

We worked together with Alex to review a Safe module for our DAO multi-sig. We really valued his proactiveness and quick response times so that we could ship in a timely manner. 🚀
Balancer DAO
Xeonus - Balancer Maxis

The ROI on our engagement with Recon was extremely high. They built an invariant test suite that uncovered hard-to-spot high-severity issues and gave us a powerful tool to ship with confidence. Moving forward, invariant testing will be core to our smart contract development at Credit Coop. When we do our next audit, Recon will have to be a part of the picture.
Credit Coop
Thomas Hepner - Cofounder & CTO

Alex had the most transparent and interactive process of any auditor I've worked with. He was very proactive and provided in-depth analysis even beyond what was initially requested. In the end, our team was able to iterate on findings a lot quicker than we'd estimated, while also learning a huge amount along the way
Quill Finance
Naps62.eth - Cofounder & CTO
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
Trophies
Recon Pro was used to find these bugs
Cap Money
Agent health changes after realizeRestakerInterest
Finding
|Recon Logs
Smart contract fuzzing found accounting desync vulnerability in DeFi staking protocol — stateful fuzzing with Recon Pro
Spine Finance
Permanent DOS and loss of funds when Y reaches 0
Finding
|Recon Logs
Critical vault vulnerability causing permanent loss of funds — invariant testing with a lossy vault identified this edge case in the DeFi lending protocol
Badger
Insolvency due to Incorrect Accounting
Finding
|Recon Logs
Critical DeFi vault accounting vulnerability in remBADGER — invariant testing caught insolvency risk before exploitation
TapiocaDAO
Overflow causes Permanent DOS in twTAP
Finding
|Recon Logs
Integer overflow vulnerability causing permanent denial of service — the only security researcher who wrote a proof-of-concept exploit
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
TEAM

Alex
Security researcher
Top C4 Judge. Former Badger Lead Dev. Bug findings across major DeFi protocols.

Antonio
Security researcher
Creator of EchidnaToFoundry. Author of the most-read articles on invariant testing.

Nican0r
Lead Invariants Engineer
Lead Invariants Engineer. Centrifuge, Liquity, Corn, and more.

Kn0t
Lead Invariants Engineer
Lead Invariants Engineer. Driving R&D and next-gen fuzzing tools at Recon.

0xsi
Software engineer && Invariants Engineer
Lead Software Engineer. Built core Recon Pro and cloud fuzzing features.

Deivitto
Security Researcher, Senior Full Stack Engineer, UX & AI Engineer
Security Researcher. Full-stack engineer bridging security and AI tooling.

0xGondar
Security Researcher & Fuzzing Engineer
Security Researcher, Senior Full-Stack Developer, Fuzzer.
We support your team at every stage
Early Stage
Build it right from day one
- ▶
Define key invariants & scaffold testers for your Solidity smart contracts
- ▶
Grow invariants alongside your codebase as your DeFi protocol evolves
Pre-Audit
Ship confidently to auditors
- ▶
Reach 100% coverage with test repros using Echidna, Medusa, and Foundry
- ▶
Hand auditors meaningful states & broken properties for deeper smart contract security review
Solo Review
Expert eyes on your code
- ▶
Manual review by top security researchers with DeFi vulnerability expertise
- ▶
Paired with invariant testing for deeper coverage across lending, staking, and vault protocols
Audit Stage
Stay covered during and after audit
- ▶
Add properties flagged by reviewers in real-time during your smart contract audit
- ▶
Reproduce bugs as invariant tests for regression safety across protocol upgrades
- ▶
Cloud runners for rapid fix testing — no weekend delays with Recon Pro fuzzing infrastructure
Our offers
Manual Review
→A thorough Solidity audit by top security researchers. Line-by-line code review focused on blockchain security and DeFi vulnerability patterns: reentrancy, oracle manipulation, access control, and liquidation bugs. Includes token audit coverage for ERC-20, ERC-721, and custom standards. Ideally paired with invariant testing for maximum coverage.
Invariant Test Writing
→Property-based testing written by an experienced fuzzing engineer. We define critical protocol invariants for DeFi security: solvency, access control, liquidation, and oracle integrity. Then we scaffold a comprehensive test suite with Echidna or Medusa, run formal verification with Halmos, and cloud-fuzz with unlimited Recon Pro campaigns during the engagement.
Recon Pro
→Cloud fuzzing as a service. Run smart contract fuzzing campaigns with Echidna, Medusa, Halmos, and Foundry for continuous security testing. No infrastructure setup, real-time coverage reports, and team collaboration built in. Over 12,500 campaigns run protecting DeFi protocols across lending, staking, vaults, and governance.