lean-mathlib-docs-mcp
A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python
Install / Use
claude mcp add lean-mathlib-docs-mcp -- npx -y @CriticalLine/lean-mathlib-docs-mcpAbout this skill
🔌
MCP Server
Model Context Protocol server
Quality Score
18/100
Category
Content & MediaSupported Platforms
Claude Code
Claude Desktop
Related Skills
openai-image-gen
308.9kBatch-generate images via OpenAI Images API. Random prompt sampler + `index.html` gallery.
prose
308.9kOpenProse VM skill pack. Activate on any `prose` command, .prose files, or OpenProse mentions; orchestrates multi-agent workflows.
claude-opus-4-5-migration
77.3kMigrate prompts and code from Claude Sonnet 4.0, Sonnet 4.5, or Opus 4.1 to Opus 4.5
Writing Hookify Rules
77.3kThis skill should be used when the user asks to "create a hookify rule", "write a hook rule", "configure hookify", "add a hookify rule", or needs guidance on hookify rule syntax and patterns.
