Scoped, not listed
One price is fixed and public: the free pilot. Everything else depends on what you need verified, so we scope it with you rather than guess at a number.
Not a demo. We run the verifier on a real claim against real ground truth and hand you a receipt you can check in your browser with only our public key. No credit card, no call required to start.
Start the free pilotThree ways to buy the same engine. These are not size tiers. They are engagement models.
A single verified answer, delivered as evidence an underwriter or auditor can review.
- Independent re-check of each claim against the real effect
- Batch verification across a defined claim set
- Z3-checked formal specs where the property is provable
- Proof-carrying receipts: Ed25519-signed, content-addressed
- Assurance report, auditor-ready
The same engine on a cadence, because the mandate is a cadence.
- Re-verification every quarter, across your live AI estate
- A signed receipt per verdict, every cycle
- Drift detection: what changed between cycles
- Evidence pack mapped to AIUC-1 third-party-eval requirements
- Named contact, priority response
A verification programme built around your fleet, your ground truth, your constraints.
- Unlimited systems and claim surfaces
- SSO / OIDC, RBAC, audit logging
- Air-gapped and self-hosted deployment
- Uptime and response SLAs
- Custom ground-truth specifications
What sets the price
No calculator, because there is no formula. These are the five things that actually move the number, so you can estimate before we talk.
Every verdict is Ed25519-signed and content-addressed. Verify any of them in your own browser. No trust required to verify the record. And read how we verify, including the candidates we rejected: that is the part a vendor inflating a record cannot show you.
Why are there no prices on this page?
Because a single number would be a lie. Two engagements at the same tier can differ by an order of magnitude depending on how many systems are in scope, what those systems are permitted to do, and how much ground truth has to be built. Every firm in this category (the accredited auditors, the insurers, the red teams) works the same way. We publish one price, the one that costs you nothing, and scope the rest with you.
What does the free pilot actually include?
One repository, one claim, verified end to end, and a signed receipt you can check in your browser with only our public key. No credit card, no sales call required to start. It is not a demo. It is the product, on a small scope, and the receipt is yours to keep either way.
What is the quarterly programme for?
AIUC-1 certification requires third-party technical re-testing every quarter: a permanent obligation for as long as a system stays certified. The quarterly programme is built around that cadence: re-verification each cycle, a signed receipt each time, and an evidence pack mapped to the standard.
Do you white-label the engine?
Yes: for MGAs, accredited auditors and red-team firms who need verification capacity they do not staff. That is a different arrangement with its own page: see Partners.
Can we verify our own systems, or do you need access?
You can. The engine runs against your repo, your test, or your ground-truth spec. Your model and data never leave your environment unless you ask us to run a hosted verification on your behalf.
How do we start?
Run the free pilot: it needs nothing from us and gives you a receipt. Or send one message describing what you want verified, and we will scope it.
Start with the receipt, or start with a conversation. Either works.
Start the free pilot White-label / OEM