Lean Mathlib 4 Documentation
Provider
CriticalLineClassification
community
Est. Downloads
This is our estimate of how many downloads occurred of this server across the MCP ecosystem (not specific to any single platform). We use a mix of publicly available data, social signals, and more to feed an algorithm that drives this estimation.
Released On
Nov 27, 2025Popularity Ranking
Our estimate as to where this MCP server implementation ranks on the global leaderboard of usage.
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.
