← ClaudeAtlas

axiom-axle-mcplisted

Optional inert setup helper for AxiomMath AXLE MCP formal-proof assistance.
hoanganhduc/coding-system-rebuild · ★ 1 · AI & Automation · score 73
Install: claude install-skill hoanganhduc/coding-system-rebuild
<!-- Managed by ai-agents-skills. Generated target: codex. Install mode: reference. --> # axiom-axle-mcp This is a thin adapter for agents that cannot load symlinked skills. Canonical skill source: - `~/ai-agents-skills/canonical/skills/axiom-axle-mcp/SKILL.md` Before using this skill, read the canonical source file above and follow its instructions. Related reference files live next to that source file in the same skill directory.