Is the lean-mathlib-docs-mcp MCP server actively maintained?

The lean-mathlib-docs-mcp MCP server was last committed 7d ago and has 0 contributors. Issue health: 50% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

lean-mathlib-docs-mcp MCP Server

Name: CriticalLine/lean-mathlib-docs-mcp
Rating: 3.2 (1 reviews)
Author: CriticalLine

CriticalLine/lean-mathlib-docs-mcp

Score: 54.8 Rank #9346 MCP Server

Are you the maintainer of CriticalLine/lean-mathlib-docs-mcp? Claim this listing →

A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python

Add AgentRank to Claude Code Discover and compare tools like CriticalLine/lean-mathlib-docs-mcp — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

CriticalLine/lean-mathlib-docs-mcp is a Python tool licensed under MIT. A minimal MCP local server for Lean Mathlib 4 Documentation Search Implemented using Python

Ranked #9346 out of 24840 indexed tools.

Actively maintained with commits in the last week.

Ecosystem

Python MIT

Score Breakdown

Stars 15% 3

3 stars → early stage

Freshness 25% 7d ago

Last commit 7d ago → actively maintained

Issue Health 25% 50%

No issues filed → no history to score

Contributors 10% 0

0 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 0

Description Good

License MIT

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Dependents medium impact

No downstream dependents detected yet — adoption by other projects is the strongest trust signal

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/CriticalLine--lean-mathlib-docs-mcp)](https://agentrank-ai.com/tool/CriticalLine--lean-mathlib-docs-mcp/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/CriticalLine--lean-mathlib-docs-mcp/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/CriticalLine--lean-mathlib-docs-mcp" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="CriticalLine/lean-mathlib-docs-mcp"></script>

Details

Stars: 3
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Python
License: MIT
Last Commit: 7d ago

Matched Queries

topic:mcptopic:mcp-server

See alternatives to CriticalLine/lean-mathlib-docs-mcp → Browse mcp-server category → Compare CriticalLine/lean-mathlib-docs-mcp → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →