Pricing
Verifiable evidence for agentic AI,
priced honestly.
a11oy puts a policy gate in front of every AI agent action and seals each decision into a signed, hash-chained receipt anyone can verify offline. Four tiers below. Prices are founder-set launch pricing — early, simple, and subject to change as we learn.
Founder-set launch pricing — every receipt verifiable, every claim checkable.- governed-receipt-spec — the open receipt format
- prove-it verifier — check any receipt in your browser
- Conformance vectors — PASS/FAIL-labeled fixtures for your own verifier
- Community support
- Everything in Community
- Evidence-plane sidecar for your agent stack
- Hash-chained receipt ledger — append-only, tamper-evident
- 10 controls mapped to ISO/IEC 42001, EU AI Act & NIST AI RMF
- Auditor export bundle
- One integrated agent workflow, end to end
- Signed receipts on every governed action
- External adversarial review of the receipt claim
- Measurable acceptance: chain verifies offline, zero unlogged decisions
- Fixed price, fixed scope, fixed calendar
- Everything in Team
- Own-metal mesh deployment
- Hardware-key signing — your keys, your signing root
- Air-gap / UDS deployment, zero outside dependency
- Named engineer & response SLA
What's in each tier
Same governed core across all four. Higher tiers add deployment control, assurance depth, and support.
| Capability | Community | Team | Pilot | Enterprise |
|---|---|---|---|---|
| Open receipt spec + browser verifier | Yes | Yes | Yes | Yes |
| Conformance vectors | Yes | Yes | Yes | Yes |
| Evidence-plane sidecar | — | Yes | Yes | Yes |
| Hash-chained receipt ledger | — | Yes | Yes | Yes |
| Mapped controls (ISO/IEC 42001 · EU AI Act · NIST AI RMF) | — | 10 | 10, with evidence links | Custom scope |
| Auditor export bundle | — | Yes | Yes | Yes |
| External adversarial review of the receipt claim | — | — | Yes | On request |
| Own-metal mesh deployment | — | — | — | Yes |
| Hardware-key signing (your signing root) | — | — | — | Yes |
| Air-gap / UDS deployment | — | — | — | Yes |
| Support | Community | Business hours | Direct to founder | 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 — including anything we meter for billing.
What happens in the 30-day pilot?
We integrate one agent workflow with the evidence plane: policy gates on every action, signed hash-chained receipts, 10 mapped controls with evidence links, an auditor export, and an external adversarial review that tries to break the receipt claim. Acceptance is measurable, in writing, up front.
Can it run fully offline?
Yes — the Enterprise tier deploys air-gapped on your own hardware (own-metal mesh, UDS) with your signing keys and no runtime dependency on outside services.
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". Trust is capped at 0.97, never 100%.