Search for a command to run...
2 MCPs · 0 installs total
A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python
Provides search capabilities for Lean Mathlib 4 documentation by downloading and parsing declaration data to find theorems, definitions, and mathematical constr
Unyly
