# axiommath.ai

> AI-optimized mirror of axiommath.ai containing 61 pages totalling 44,291 words of clean markdown content, structured data, and semantic HTML. Original source: https://axiommath.ai. Last updated: 2026-07-26T02:09:11.799Z.

Each page is available as HTML (with JSON-LD structured data) and Markdown (text-only, ideal for LLMs and RAG).

## Homepage

- [AXLE - Axiom Lean Engine](/content/axle/index.html): Interactive tools for exploring, validating, and manipulating mathematical proofs. (794 words)
- [Axiom](/content/site-root.html): The starting point for reasoning (288 words)

## Articles & Blog Posts

- [From Seeing Why to Checking Everything | Axiom](/content/territory/from-seeing-why-to-checking-everything/index.html): The starting point for reasoning (4,944 words)
- [Proof of Concept | Axiom](/content/territory/proof-of-concept/index.html): The starting point for reasoning (1,811 words)
- [Attacking Hard Open Problems | Axiom](/content/territory/attacking-hard-open-problems/index.html): The starting point for reasoning (1,839 words)
- [Primes: Almost surely, partially, regular | Axiom](/content/territory/primes-almost-surely-partially-regular/index.html): The starting point for reasoning (1,224 words)
- [Axplorer | Axiom](/content/territory/axplorer/index.html): The starting point for reasoning (1,825 words)
- [Building the Reasoning Engine at Axiom | Axiom](/content/territory/building-the-reasoning-engine-at-axiom/index.html): The starting point for reasoning (1,374 words)
- [Releasing AXLE | Axiom](/content/territory/releasing-axle/index.html): The starting point for reasoning (382 words)
- [extract_decls - AXLE Documentation](/content/axle/v1/docs/tools/extract_decls/index.html): Python client and CLI for the Axiom Lean Engine API (1,581 words)
- [merge - AXLE Documentation](/content/axle/v1/docs/tools/merge/index.html): Python client and CLI for the Axiom Lean Engine API (1,344 words)
- [verify_proof - AXLE Documentation](/content/axle/v1/docs/tools/verify_proof/index.html): Python client and CLI for the Axiom Lean Engine API (16 words)
- [Changelog - AXLE Documentation](/content/axle/v1/docs/changelog/index.html): Python client and CLI for the Axiom Lean Engine API (979 words)
- [normalize - AXLE Documentation](/content/axle/v1/docs/tools/normalize/index.html): Python client and CLI for the Axiom Lean Engine API (986 words)
- [repair_proofs - AXLE Documentation](/content/axle/v1/docs/tools/repair_proofs/index.html): Python client and CLI for the Axiom Lean Engine API (1,208 words)
- [sorry2lemma - AXLE Documentation](/content/axle/v1/docs/tools/sorry2lemma/index.html): Python client and CLI for the Axiom Lean Engine API (595 words)
- [Troubleshooting - AXLE Documentation](/content/axle/v1/docs/troubleshooting/index.html): Python client and CLI for the Axiom Lean Engine API (1,150 words)
- [extract_theorems - AXLE Documentation](/content/axle/v1/docs/tools/extract_theorems/index.html): Python client and CLI for the Axiom Lean Engine API (1,205 words)
- [have2lemma - AXLE Documentation](/content/axle/v1/docs/tools/have2lemma/index.html): Python client and CLI for the Axiom Lean Engine API (418 words)
- [simplify_theorems - AXLE Documentation](/content/axle/v1/docs/tools/simplify_theorems/index.html): Python client and CLI for the Axiom Lean Engine API (690 words)
- [theorem2sorry - AXLE Documentation](/content/axle/v1/docs/tools/theorem2sorry/index.html): Python client and CLI for the Axiom Lean Engine API (531 words)
- [theorem2lemma - AXLE Documentation](/content/axle/v1/docs/tools/theorem2lemma/index.html): Python client and CLI for the Axiom Lean Engine API (730 words)
- [disprove - AXLE Documentation](/content/axle/v1/docs/tools/disprove/index.html): Python client and CLI for the Axiom Lean Engine API (630 words)
- [Configuration - AXLE Documentation](/content/axle/v1/docs/configuration/index.html): Python client and CLI for the Axiom Lean Engine API (424 words)
- [Python API - AXLE Documentation](/content/axle/v1/docs/python-api/index.html): Python client and CLI for the Axiom Lean Engine API (437 words)
- [check - AXLE Documentation](/content/axle/v1/docs/tools/check/index.html): Python client and CLI for the Axiom Lean Engine API (733 words)
- [have2sorry - AXLE Documentation](/content/axle/v1/docs/tools/have2sorry/index.html): Python client and CLI for the Axiom Lean Engine API (552 words)
- [rename - AXLE Documentation](/content/axle/v1/docs/tools/rename/index.html): Python client and CLI for the Axiom Lean Engine API (571 words)
- [CLI Reference - AXLE Documentation](/content/axle/v1/docs/cli-reference/index.html): Python client and CLI for the Axiom Lean Engine API (176 words)
- [Installation - AXLE Documentation](/content/axle/v1/docs/installation/index.html): Python client and CLI for the Axiom Lean Engine API (97 words)
- [Quick Start - AXLE Documentation](/content/axle/v1/docs/quickstart/index.html): Python client and CLI for the Axiom Lean Engine API (261 words)
- [Login - AXLE Console](/content/axle/app/console/index.html) (12 words)
- [Verify Proof - AXLE](/content/axle/verify_proof/index.html) (109 words)
- [Extract Sorries and Errors to Lemmas - AXLE](/content/axle/sorry2lemma/index.html) (109 words)
- [Extract Have Statements to Lemmas - AXLE](/content/axle/have2lemma/index.html) (100 words)
- [Repair Proofs - AXLE](/content/axle/repair_proofs/index.html) (90 words)
- [Simplify Theorems - AXLE](/content/axle/simplify_theorems/index.html) (95 words)
- [Normalize - AXLE](/content/axle/normalize/index.html) (79 words)
- [Disprove - AXLE](/content/axle/disprove/index.html) (87 words)
- [Replace Have Statements with Sorry - AXLE](/content/axle/have2sorry/index.html) (80 words)
- [Merge Lean Files - AXLE](/content/axle/merge/index.html) (87 words)
- [Extract Declarations - AXLE](/content/axle/extract_decls/index.html) (84 words)
- [Check - AXLE](/content/axle/check/index.html) (83 words)
- [Rename Declarations - AXLE](/content/axle/rename/index.html) (77 words)
- [Convert to Sorry - AXLE](/content/axle/theorem2sorry/index.html) (95 words)
- [Highlight - AXLE](/content/axle/highlight/index.html) (67 words)
- [Convert Theorem/Lemma - AXLE](/content/axle/theorem2lemma/index.html) (90 words)
- [Extract Theorems - AXLE](/content/axle/extract_theorems/index.html) (82 words)
- [Learning Collatz - The Mother of all Rabbit Holes | Axiom](/content/territory/learning-collatz-the-mother-of-all-rabbit-holes/index.html): The starting point for reasoning (2,053 words)
- [The Address Before the Room | Axiom](/content/territory/the-address-before-the-room/index.html): The starting point for reasoning (1,845 words)
- [Infinitely Rare | Axiom](/content/territory/infinitely-rare/index.html): The starting point for reasoning (1,725 words)
- [The Figure and the Remainder | Axiom](/content/territory/the-figure-and-the-remainder/index.html): The starting point for reasoning (1,655 words)
- [The Reveal | Axiom](/content/territory/the-reveal/index.html): The starting point for reasoning (1,586 words)
- [The Same Ground | Axiom](/content/territory/the-same-ground/index.html): The starting point for reasoning (1,117 words)
- [Selected Publications | Axiom](/content/selected-publications/index.html): The starting point for reasoning (1,768 words)
- [Territory | Axiom](/content/territory/index.html): The starting point for reasoning (315 words)
- [AXLE Documentation](/content/axle/v1/docs/index.html): Python client and CLI for the Axiom Lean Engine API (335 words)
- [Careers | Axiom](/content/careers/index.html): The starting point for reasoning, We're looking for people passinonate about R&D at the intersection of deep learning, neuro-symbolic methods, automated theorem proving, and pure/applied mathematics. (161 words)
- [Fundraising | Axiom](/content/fundraising/index.html): The starting point for reasoning (236 words)
- [Our mission | Axiom](/content/axiom/index.html): The starting point for reasoning (258 words)
- [Software | Axiom](/content/software/index.html): The starting point for reasoning (16 words)

## Resources

- [Full Page Index](/index.html): Browse all cached pages with rich metadata
- [About This Cache](/content/about.html): Methodology, technical details, and usage guidelines
- [XML Sitemap](/sitemap.xml): Machine-readable sitemap for crawler discovery
- [Robots.txt](/robots.txt): Crawler directives