Is the leanstudio MCP server actively maintained?

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

leanstudio MCP Server

Name: keithadler/leanstudio
Rating: 3.4 (1 reviews)
Author: keithadler

keithadler/leanstudio

Score: 59.8 Rank #6364 MCP Server

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

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

A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.

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

Get API Access →

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

Overview

keithadler/leanstudio is a C# MCP server licensed under MIT. A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.

Ranked #6364 out of 24846 indexed tools.

Ecosystem

C# MIT

Score Breakdown

Stars 15% 7

7 stars → early stage

Freshness 25% 29d ago

Last commit 29d ago → recently updated

Issue Health 25% 50%

No issues filed → no history to score

Contributors 10% 2

2 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 1

Description Detailed

License MIT

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

How to Improve

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

HTML

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

Embed Widget docs →

HTML

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

Details

Stars: 7
Forks: 1
Open Issues: 0
Closed Issues: 0
Contributors: 2
Dependents: —
Language: C#
License: MIT
Last Commit: 29d ago

Matched Queries

"mcp server""mcp-server"topic:mcptopic:mcp-servertopic:model-context-protocol

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

View on GitHub →