Is the leanstudio MCP server actively maintained?

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

leanstudio MCP Server

Name: Dezz05/leanstudio
Rating: 3.1 (1 reviews)
Author: Dezz05

Dezz05/leanstudio

Score: 53.3 Rank #12679 MCP Server

[![AgentRank](https://agentrank-ai.com/api/v1/badge/Dezz05--leanstudio)](https://agentrank-ai.com/tool/Dezz05--leanstudio/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

Are you the maintainer of Dezz05/leanstudio? Claim this listing →

The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.

Add AgentRank to Claude Code Discover and compare tools like Dezz05/leanstudio — your AI finds the right one automatically

Get API Access →

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

Overview

Dezz05/leanstudio is a Rust tool licensed under MIT. The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.

Ranked #12679 out of 24846 indexed tools.

Ecosystem

Rust MIT

Score Breakdown

Stars 15% 1

1 stars → early stage

Freshness 25% 8d ago

Last commit 8d ago → recently updated

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/v1/badge/Dezz05--leanstudio)](https://agentrank-ai.com/tool/Dezz05--leanstudio/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/Dezz05--leanstudio/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/v1/badge/Dezz05--leanstudio" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="Dezz05/leanstudio"></script>

Details

Stars: 1
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Rust
License: MIT
Last Commit: 8d ago

Matched Queries

topic:mcptopic:mcp-server

See alternatives to Dezz05/leanstudio → Browse mcp-server category → Best MCP Server MCP servers → Compare Dezz05/leanstudio → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →