Start free. Scale when ready.
Every plan includes the full PCD language, all monomers, and export to every supported language. The CLI is free forever.
Free
$0forever
For individual developers exploring verified software.
- 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
Enterprise
Custompricing
For regulated industries that need compliance and control.
- Everything in Pro
- SSO / SAML / OIDC
- SCIM provisioning
- Compliance reports (SOC2, HIPAA, PCI-DSS)
- Custom registry & white-label badges
- Audit trail & logs
- 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 | Enterprise |
|---|---|---|---|
| Core | |||
| CLI access | |||
| Full monomer catalog | |||
| All export targets | |||
| Coq proof suite | |||
| Self-compilation fixpoint | |||
| Platform | |||
| Lifts per day | 5 | Unlimited | Unlimited |
| Public registry | |||
| Private registry | |||
| GitHub integration | |||
| Certification dashboard | |||
| PR certification badges | |||
| Team members | 1 | 10 | Unlimited |
| Enterprise | |||
| SSO / SAML / OIDC | |||
| SCIM provisioning | |||
| Audit trail | |||
| Compliance reports | |||
| On-premise option | |||
| Custom SLA | 99.9% | ||
| Dedicated support | |||
| Support | |||
| Community (Discord) | |||
| Email support | |||
| Priority support | |||
| Dedicated engineer | |||
FAQ
Common questions
Ready to certify your code?
Install the CLI and start verifying. Every line of code you certify is a line you never have to debug again.