Lean Mathlib 4 Documentation
Rank #24820pulsemcp/criticalline-lean-mathlib-docs
Provides search capabilities for Lean Mathlib 4 documentation by downloading and parsing declaration data to find theorems, definitions, and mathematical constructs with regex-based search functionality.
Lean Mathlib 4 Documentation is a Model Context Protocol (MCP) server published by criticalline. It ranks #24820 of 58,900 servers tracked on MCP Toplist, and its repository has 3 GitHub stars. Lean Mathlib 4 Documentation is listed on PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Nov 27, 2025.
Ranks ahead of 34,080 of 58,900 servers on MCP Toplist.
Use Lean Mathlib 4 Documentation
Lean Mathlib 4 Documentation doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 1 registry
criticalline
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is Lean Mathlib 4 Documentation?
- Provides search capabilities for Lean Mathlib 4 documentation by downloading and parsing declaration data to find theorems, definitions, and mathematical constructs with regex-based search functionality.
- Who maintains Lean Mathlib 4 Documentation?
- Lean Mathlib 4 Documentation is maintained by criticalline, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is Lean Mathlib 4 Documentation an official MCP server?
- Lean Mathlib 4 Documentation is not on the Official MCP Registry. It is listed on PulseMCP.
- How many versions does Lean Mathlib 4 Documentation have?
- Lean Mathlib 4 Documentation ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for Lean Mathlib 4 Documentation?
- The source code for Lean Mathlib 4 Documentation is hosted at github.com/criticalline/lean-mathlib-docs-mcp.