Armory
Source
Browse
MCPs

vilin97-axle-lean-engine

Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.

Score
32.2231 signal
Evidence
2 stars
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. aristotle-mcp-server13 stars · 3 forks69.750
  2. hampsterx-claude-code-bridge6 stars · 2 forks58.185
  3. lars20070-mathematica4 stars43.275

What it is

MCP server AXLE Lean Engine, catalogued on PulseMCP. Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.

When to use it

Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.