Pricing
Governed inference,
priced honestly.
a11oy is AI that signs its work and refuses to lie — every decision ships a signed receipt you can verify yourself. Three tiers below. Where we have not fixed a public price yet, we say "Contact us" instead of inventing one.
AI that signs its work and refuses to lie.- Signed receipts on every decision, verifiable in your browser
- Governed inference API + the operator console
- Deny-by-default policy gate
- Community support
- For evaluation and non-production use
- Everything in Developer
- Higher throughput & priority routing
- Energy-metered receipts (joules per token)
- SSO & team roles
- Audit export & retained receipt trail
- Business-hours support
- Everything in Team
- Air-gapped / on-prem deployment, zero outside dependency
- Your keys, your signing root
- Compliance & procurement support
- Named engineer & response SLA
What's in each tier
Same governed core across all three. Higher tiers add scale, control and support.
| Capability | Developer | Team | Enterprise (air-gapped) |
|---|---|---|---|
| Signed, verifiable receipts | Yes | Yes | Yes |
| Deny-by-default policy gate | Yes | Yes | Yes |
| Energy-metered receipts | When metered | Yes | Yes |
| SSO & team roles | — | Yes | Yes |
| Audit export | — | Yes | Yes |
| Air-gapped / on-prem | — | On request | Yes |
| Your own signing keys | — | On request | Yes |
| Support | Community | Business hours | Named engineer + SLA |
Do I have to trust your numbers?
No. Every decision ships a signed receipt you can re-verify yourself, in your own browser, at /verify.
Can it run fully offline?
Yes — the Enterprise tier deploys air-gapped on your own hardware with no runtime dependency on outside services. Open-weight models only.
What is "proven"?
Eight core formulas (the locked-8) are proven in Lean 4 and re-checked on every build. The Λ trust score is Conjecture 1 — advisory, never a gate, never shown as "green".
What if the model isn't sure?
It refuses rather than guesses. Trust is capped and never claimed at 100%; below the confidence bar the system abstains and says why.