CriticalLine/lean-mathlib-docs-mcp
3.2
If you are the rightful owner of lean-mathlib-docs-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to dayong@mcphub.com.
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.
Comments
No comments yet. Be the first to comment!