Search for a command to run...
loading…
1 MCPs · 0 installs total
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
