# oOo0oOo/lean-lsp-mcp

<https://repo.masters-masters.com/en/repos/oOo0oOo/lean-lsp-mcp>

[Home](https://repo.masters-masters.com/en) › [oOo0oOo](https://repo.masters-masters.com/en/owners/oOo0oOo) › [lean-lsp-mcp](https://repo.masters-masters.com/en/repos/oOo0oOo/lean-lsp-mcp)

oOo0oOo/lean-lsp-mcp has 546 stars on GitHub. Its RepoMasters card: Alpha tier. Lean Theorem Prover MCP Language: Python.

| Field | Value |
| --- | --- |
| Owner | [oOo0oOo](https://repo.masters-masters.com/en/owners/oOo0oOo) |
| Stars | 546 |
| Forks | 84 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2025 |
| Topics | lean4, lsp, mcp |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [oOo0oOo/lean-lsp-mcp](https://github.com/oOo0oOo/lean-lsp-mcp) |

## Repository

Lean Theorem Prover MCP

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Python

- [microsoft/Resource2Skill · ★ 546 · Python · Alpha](https://repo.masters-masters.com/en/repos/microsoft/Resource2Skill)
- [autonomous-ai/lampOS · ★ 546 · Python · Alpha](https://repo.masters-masters.com/en/repos/autonomous-ai/lampOS)
- [88lin/computer-repair-skill · ★ 546 · Python · Alpha](https://repo.masters-masters.com/en/repos/88lin/computer-repair-skill)
- [edgewall/trac · ★ 546 · Python · Alpha](https://repo.masters-masters.com/en/repos/edgewall/trac)
- [Kilian/f.lux-indicator-applet · ★ 546 · Python · Alpha](https://repo.masters-masters.com/en/repos/Kilian/f.lux-indicator-applet)
- [rspivak/slimit · ★ 546 · Python · Alpha](https://repo.masters-masters.com/en/repos/rspivak/slimit)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.