criticalline

lean-mathlib-docs-mcp

3.2

by CriticalLine

The Lean Mathlib 4 Documentation Search MCP Server is a tool designed to facilitate the search and retrieval of documentation for Lean Mathlib 4 declarations, modules, and instances using the Model Context Protocol.