What open source tools does Recon build?

Write once, run everywhere framework for invariant testing — supports Echidna, Medusa, Halmos, and Foundry from a single test suite.

VS Code / Cursor extension for one-click invariant testing scaffolding and cloud fuzzing.

CLI scaffolding tool to bootstrap a new Chimera-based invariant testing project in seconds.

Reusable Solidity helpers for bootstrapping fuzzing environments — deployment scripts, actor management, and common patterns.

Foundry helper for atomic call-test-undo patterns in invariant testing — assert mid-transaction without side effects.

Public invariant testing suite for EigenLayer — demonstrates real-world property testing on a production restaking protocol.

Public invariant testing suite for Renzo Protocol — demonstrates property-based fuzzing for liquid restaking.

Reusable invariant property suite for ERC-7540 async vaults — battle-tested on Centrifuge.

Official documentation for Recon, Chimera, and Recon Pro — guides, API reference, and tutorials.