# oOo0oOo/lean-lsp-mcp

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

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

oOo0oOo/lean-lsp-mcp, dépôt open source à 546 étoiles sur GitHub. Carte Alpha de RepoMasters. Lean Theorem Prover MCP Langage : Python.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [oOo0oOo](https://repo.masters-masters.com/owners/oOo0oOo) |
| Étoiles | 546 |
| Forks | 84 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2025 |
| Sujets | lean4, lsp, mcp |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [oOo0oOo/lean-lsp-mcp](https://github.com/oOo0oOo/lean-lsp-mcp) |

## Fiche du dépôt

Lean Theorem Prover MCP

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts Python

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.