"author:Vilin97" matching MCP servers:

• axle-mcp

  Vilin97

  F

  license

  -Not graded

  quality

  D

  maintenance

  Integrates the AXLE (Axiom Lean Engine) CLI with AI assistants to provide comprehensive tools for Lean 4 proof engineering. It enables users to validate, repair, and transform Lean theorems through a remote API without requiring a local Lean installation.

  Updated 6 months ago (2026-03-06 09:23 UTC)

  2