Flexible pricing to
keep you secure
From simple to complex use cases, we've got you covered.
Basic
Free
Run the leading formal verification tool for free
- Up to 2,000 min/month runtime
- Write your own rules
- Discord support
Premium
Integrate the tool trusted by top DeFi protocols to keep their code secure
- Unlimited Prover access
- Setup & onboarding support
- Up to 10 team members
- Specification review
Enterprise
Ongoing analysis & verification of your code as you build it
- Audit + formal verification retainer
- Our experts write rules for your code
- Unlimited Prover access
- Training & dedicated support
- Incident response
