AlphaUncommon
oOo0oOo/lean-lsp-mcp
Lean Theorem Prover MCP
- Owner
- oOo0oOo (personal account)
- Stars
- Stars: 546
- Forks
- Forks: 84
- Language
- Python
- License
- MIT
- Created
- 2025
- Topics
- lean4lspmcp
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- microsoft/Resource2SkillStars: 546PythonAlpha
- autonomous-ai/lampOSStars: 546PythonAlpha
- 88lin/computer-repair-skillStars: 546PythonAlpha
- edgewall/tracStars: 546PythonAlpha
- Kilian/f.lux-indicator-appletStars: 546PythonAlpha
- rspivak/slimitStars: 546PythonAlpha