Pricing
Free. Ready today.
The CLI is free forever. 128 operations. 14 export targets. All monomers. Every language. Start building now. Pay only when your team needs more.
Free
$0forever
Everything you need to certify code. Free forever.
- CLI + all SDKs
- Full monomer catalog (certified + extended)
- All export targets
- Platform access
- Public registry access
- 5 lifts per day
- Community support (Discord)
Most Popular
Pro
Freeduring closed beta
For teams that ship verified code to production.
- Everything in Free
- Platform access
- Private circuits & registry
- Up to 10 team members
- Unlimited lifts
- GitHub integration (auto-lift on push)
- PR certification badges
- Certification dashboard
- Priority email support
Team
Freeduring closed beta
For engineering teams that need shared dashboards and governance.
- Everything in Pro
- Up to 50 team members
- Shared certification dashboard
- Team-wide audit trail
- Role-based access control
- GitHub org integration
- Slack / webhook notifications
- Priority support
Enterprise
Custompricing
For regulated industries that need compliance and control.
- Everything in Team
- SSO / SAML / OIDC
- SCIM provisioning
- Compliance evidence reports (SOC2, PCI-DSS, HIPAA)
- Custom registry & white-label badges
- CI/CD gate plugins
- Custom SLA (99.9% uptime)
- Dedicated support engineer
- On-premise / self-hosted option
FEATURE COMPARISON
Full feature breakdown
| Feature | Free | Pro | Team | Enterprise |
|---|---|---|---|---|
| Core | ||||
| CLI access | ||||
| Full monomer catalog | ||||
| All export targets | ||||
| mathematical proof suite | ||||
| Self-compilation fixpoint | ||||
| Platform | ||||
| Lifts per day | 5 | Unlimited | Unlimited | Unlimited |
| Public registry | ||||
| Private registry | ||||
| GitHub integration | ||||
| Certification dashboard | ||||
| PR certification badges | ||||
| Team members | 1 | 10 | 50 | Unlimited |
| Team & Governance | ||||
| Shared dashboard | ||||
| Team audit trail | ||||
| Role-based access | ||||
| GitHub org integration | ||||
| Slack / webhook notifications | ||||
| Enterprise | ||||
| SSO / SAML / OIDC | ||||
| SCIM provisioning | ||||
| Compliance evidence reports | ||||
| On-premise option | ||||
| Custom SLA | 99.9% | |||
| Dedicated support | ||||
| Support | ||||
| Community (Discord) | ||||
| Email support | ||||
| Priority support | ||||
| Dedicated engineer | ||||
FAQ
Common questions
Start building — free
Install the CLI. Certify your first function. Every certified line is a line you never debug again.