LeanProbe vs AXLE Lean Engine
Side-by-side comparison of two Ai projects on AiList.
Tagline
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.
GitHub Stars
7
2
Stars This Week
—
—
Language
—
Python
License
—
—
Built With
—
—
Views
1
67
Clicks
0
6