Last released Oct 14, 2026
Python client for AXLE (Axiom Lean Engine) API
Last released Sep 16, 2026
MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients