Search for a command to run...
1 MCPs · 0 installs total
Enables verification of Lean 4 mathematical proofs via MCP tools, allowing AI clients to compile and check theorems with Mathlib.
Unyly