# AxiomCode

> The certification authority for software correctness. Don't trust our AI — verify our proof.

AxiomCode verifies Lean 4 software specifications with a real toolchain and issues
signed, revocable, independently verifiable certificates binding the artifact hash,
verdict, toolchain, issuer, serial, and validity window.

## Status: pre-launch

The service is not yet open. The API and MCP endpoints below are planned, not yet
live. We are not yet accepting submissions or payments, and certificates are not
yet being issued. This file will be updated when the service opens.

## For agents

- API docs: https://axiom-code.com/docs/api/
- Machine-readable service info: https://axiom-code.com/.well-known/axiomcode.json
- Planned REST base: https://api.axiom-code.com (not yet live)
- Planned MCP server: https://api.axiom-code.com/mcp with tools: verify, check_certificate, pricing, usage_report
- Planned certificate check (no auth): GET https://api.axiom-code.com/v1/check?serial=...
- Planned revocation list: https://api.axiom-code.com/v1/revoked

## Trial

10 free verifications per email via POST /v1/trial/verify. Trial verdicts include the
verdict and transcript but NEVER a certificate. Certificates are issued to paying
customers only (credit packs from $10; 1 credit = $0.01; metered at 0.9 credits/sec
of engine compute time).

## Scope (honest)

Today: Lean 4 only. A PASSED verdict means the submitted artifact compiled under the
stated toolchain and its proofs checked. It does not certify intent, deployment, or
the rest of the system. Certificates are valid 90 days and revocable. Mis-issuance
is handled by public revocation — see the Certificate Policy.

## Paperwork

- Terms: https://axiom-code.com/paperwork/terms/
- Privacy: https://axiom-code.com/paperwork/privacy/
- Certificate Policy & CPS: https://axiom-code.com/paperwork/certificate-policy/
- Refunds: https://axiom-code.com/paperwork/refunds/
- Security & disclosure: https://axiom-code.com/paperwork/security/