Skill
Agent
Search skills...
⌘
K
Explore
Docs
Trending
Collections
AI Tools
Generate SKILL.md
Format Converter
Skill Improver
AI Search
View All Tools →
Submit
Home
CriticalLine
1 skill
3 total stars
GitHub
CriticalLine
/
lean-mathlib-docs-mcp
3
A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python
🔌 MCP Server
claude code
claude desktop
mcp
documentation
python
18
Updated 28d ago
CriticalLine / lean-mathlib-docs-mcp
