Search for a command to run...
1 MCPs · 0 installs total
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Unyly