Search for a command to run...
1 MCPs · 0 installs total
MCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.
Unyly