Cover the {paths} less traveled.
Starter
Great for solo developers, auditors, and small projects.
$5
Get startedper
month
Fully featured
Up to 1 user
Single SMT solver
Performance
Great for time-sensitive projects and audits.
$250
Get startedper
month
Everything in Starter, plus
5x more compute
Invite collaborators
Advanced portfolio solvers
Production
Optimized for larger institutions and protocols.
$2,500
Get startedper
month
Everything in Performance, plus
32x more compute
Unlimited team collaborators
Advanced portfolio solvers
Unlimited solver runtimes
Premium support
Questions? Reach out! We're a small team currently available over email.