lean-mathlib-docs-mcp
by CriticalLine
A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python
📊 Score Breakdown
Overall = Security (30%) + Utility (30%) + Maintenance (25%) + Uniqueness (15%). Full methodology →
ℹ️ Details
📈 GitHub Signals
3
Stars
0
Forks
0
Commits (30d)
0
Open Issues
Last commit: 7 months ago
Similar Tools
View all Other →modelcontextprotocol/server-everything
by modelcontextprotocol
📇 🏠 - MCP server that exercises all the features of the MCP protocol
open-design
by nexu-io
🎨 Local-first, open-source Claude Design alternative. 🖥️ Native desktop app. ⚡ 259+ Skills · ✨ 142+ Design Systems 🖼️ Web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 S
prompt-optimizer
by linshenkx
An AI prompt optimizer for writing better prompts and getting better AI results.
n8n-mcp
by czlonkowski
A MCP for Claude Desktop / Claude Code / Windsurf / Cursor to build n8n workflows for you
🏅 Show your score
Scored 68/100 for security, utility and maintenance. Add the badge to your README or site to show it, verified by an independent directory.
[](https://skillsindex.dev/tools/lean-mathlib-docs-mcp/)<a href="https://skillsindex.dev/tools/lean-mathlib-docs-mcp/"><img src="https://skillsindex.dev/api/badge/lean-mathlib-docs-mcp" alt="lean-mathlib-docs-mcp scored 68/100 on SkillsIndex" height="20"></a>Know before you install 📬
We score every tool 0-100 for security, maintenance and utility. Get the weekly shortlist of the highest-scored, vetted tools, plus an alert when a package you rely on goes stale. Free.
Data last verified: 1 months ago. See something wrong? Report it →