RIvance/lean4-mcp

Score: 42.8 Rank #1075

A lightweight MCP (Model Context Protocol) server that proxies between AI agents and the Lean 4 language server.

Overview

RIvance/lean4-mcp is a Rust MCP server licensed under MIT. A lightweight MCP (Model Context Protocol) server that proxies between AI agents and the Lean 4 language server.

Ranked #1075 out of 25632 indexed tools.

In the top 5% of all indexed tools.

Ecosystem

Rust MIT

Signal Breakdown

Stars 3

Freshness 9d ago

Issue Health 50%

Contributors 0

Dependents 0

Forks 1

Description Good

License MIT

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

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/RIvance--lean4-mcp)](https://agentrank-ai.com/tool/RIvance--lean4-mcp)

HTML

<a href="https://agentrank-ai.com/tool/RIvance--lean4-mcp"><img src="https://agentrank-ai.com/api/badge/tool/RIvance--lean4-mcp" alt="AgentRank"></a>

Details

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

Matched Queries

"model context protocol""model-context-protocol"

View on GitHub →

Are you the maintainer? Claim this listing