Last updated: 26 September 2026
AxiomCode (“we”) provides machine-checked verification of software specifications and issues signed certificates recording the verification outcome (“certificates”). The service is offered through a web interface, a REST API, and an MCP server.
New users may run up to 10 trial verifications without payment. Trial verdicts include the verdict and the engine transcript; trial verdicts never include certificates. Trial access is rate-limited and may not be resold, shared across accounts to evade the limit, or used to probe the engine adversarially.
Paid verification consumes credits (1 credit = US$0.01), metered by engine compute time at the published rate. Credits are purchased in packs through our merchant of record and never expire. Meter records are itemized in your usage report. If you believe a charge is wrong, contact us within 30 days; we correct genuine metering errors with credit.
You may not: (a) submit code you have no right to submit; (b) use the service to verify malware, weapons systems, or any unlawful purpose; (c) attempt to extract the CA signing keys, evade metering, or disrupt the service; (d) misrepresent a trial verdict as a certificate, or a revoked/expired certificate as valid.
You are responsible for the specifications you submit: the certificate binds the artifact hash, not your intent. The certificate credentials the code — it is our assessment that the submitted artifact was built to its specification, as mechanically checked under the stated toolchain. It does not state that your specification is correct, complete, safe, or fit for any purpose. We hold no responsibility beyond this assessment. Relying parties must read the Certificate Policy and validate every certificate through the published checker.
Certificates credential the code submitted: our assessment that the artifact was built to its specification, as mechanically checked. They are factual statements about a verification event, valid for 90 days unless revoked earlier. We publish a revocation list and will revoke certificates affected by toolchain or engine defects. Certificates are not insurance, warranties, or guarantees of software behavior. We hold no responsibility beyond the assessment stated in the certificate.
To the maximum extent permitted by law: the service is provided “as is”; we disclaim implied warranties of merchantability and fitness for purpose. Our liability arising from any single certificate is limited to the fees paid for the verification that produced that certificate, and our aggregate liability for all claims is limited to the amount you paid us in the 12 months preceding the claim. We are not liable for indirect, incidental, or consequential damages, including losses from reliance on a certificate. We owe no duty to relying parties beyond the statements in the Certificate Policy; anyone who relies on a certificate does so at their own risk and must validate it through the published checker and revocation list before relying. These terms should be reviewed by qualified legal counsel; insurance backing the CA operation is part of our operating cost and is reflected in pricing.
We may update these terms with 14 days’ notice on this page; continued use is acceptance. We may suspend accounts for abuse, non-payment, or unlawful use. You may stop using the service at any time; unused credits remain refundable per the Refund Policy.
Questions about these terms: hello@axiom-code.com.