{
  "service": "AxiomCode",
  "status": "pre-launch",
  "description": "Certification authority for software correctness. Machine-checked proofs, signed certificates.",
  "note": "Pre-launch: the service is not yet open. The API, MCP server, revocation list, and CA public keys will be published here when the service opens; none are live yet, and certificates are not yet being issued.",
  "homepage": "https://axiom-code.com",
  "llms_txt": "https://axiom-code.com/llms.txt",
  "docs": "https://axiom-code.com/docs/api/",
  "certificate_checker": "https://axiom-code.com/check/",
  "pricing": "https://axiom-code.com/pricing/",
  "trial": {
    "verifications": 10,
    "certificates": false
  },
  "contact": "hello@axiom-code.com"
}