Cover the {paths} less traveled.

Starter

Great for solo developers, auditors, and small projects.

$50

per

month

Get started

    Fully featured

    Up to 1 user

    Single SMT solver

Performance

Great for time-sensitive projects and audits.

$250

per

month

Get started

    Everything in Starter, plus

    5x more compute

    Invite collaborators

    Advanced portfolio solvers

Production

Optimized for larger institutions and protocols.

$2,500

per

month

Get started

    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.