# Axiom

**Canonical:** https://apis.io/providers/axiommath-ai/  
**Website:** https://axiommath.ai  
**APIs profiled:** 0

Axiom builds formal foundations and tooling that enable machines and mathematicians to verify proofs and reason about logic. Their platform includes AXLE, an interactive proof environment, and supports research projects such as the Bounded Gaps Project. The company focuses on advancing mathematical reasoning through software, offering APIs for proof verification, research data, and educational tools.

## Kin Score — 4.4 / 100 (minimal)

Scored 2026-10-31 under rubric 0.25.0.

| Facet | Score |
|---|---|
| Discoverability | 46.4 |
| Contract Quality | 0.0 |
| Contract Governance | 0.0 |
| Operational Transparency | 5.3 |
| Developer Ergonomics | 2.4 |
| Access Clarity | 0.0 |

Regulatory layer — **Horizontal (data, software, accessibility, platform)**: 5.5 (matched via fallback).

## Agent readiness — 0.0 (human-only)

| Dimension | Value |
|---|---|
| Spec Presence | no |
| Agentic Access | no |
| Reversibility Documented | no |
| MCP Server | no |
| Auth Clarity | no |
| Idempotency | no |
| Error Semantics | no |
| OpenAPI Examples | no |
| Rate Limit Signal | no |
| Event Surface Described | no |
| Agent Skills | no |
| Well Known Catalog | no |
| Consent Identity | no |
| Agent Card | no |
| Dry Run Mode | no |
| Delegated Identity | no |
| Protected Resource Metadata | no |
| Dynamic Client Registration | no |
| Agentic Commerce | no |
| Pagination Ratio | na |
| Operation Distinctiveness | na |

## Security (1)

- **Axiommath Ai Domain Security** — TLSv1.3 · DMARC

## Tags

Company, Mathematics, FormalVerification, Research, AI

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/providers/axiommath-ai/). Scores are computed from the provider's own public artifacts under a published rubric.