One click
invariant testing
Trusted by teams at Centrifuge, Credit Coop, and more
Run Echidna, Medusa and Halmos directly from VS Code.
Free & OSS
Open Source
3
Fuzzers Integrated
Vyper + Solidity
Language Support
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
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