Start with free credits, then use USDC pay-per-call. Subscriptions below are packaging targets for teams; today the live service supports sandbox credits, API-key credits, x402 for single-claim calls, signed exports, and proof artifacts.
Evaluate the API and demos.
Agent-native single-claim verification.
For one product or agent workflow.
For recurring automated checks.
For advisory, FP&A, and close-review use cases.
Formal evidence where it matters.
| Operation | Current live charge | Notes |
|---|---|---|
| Single claim | 1 credit when decisive | x402 or API key |
| Batch | 1 credit per decisive claim | API key only |
| Spreadsheet audit | 5 credits | JSON, HTML, or PDF signed bundle |
| Report diff | 5 credits | Changed/added/removed numeric rows |
| Covenant rule pack | 5 credits | Signed threshold checks with cell provenance |
| Lean proof artifact | 10 credits | Supported deterministic subset |
Pricing targets may change during pilots. The current credit value is exposed in signup/top-up responses and in x402 discovery.