GH Repository · oOo0oOo
lean-lsp-mcp
Lean Theorem Prover MCP
- stars
- 506
- 30-day movement
- +83/day
- Related entries
- 60
- Connections
- 1
nixpython/uvpythondockermcp-servermcplspPythonlean4
- Role
- mcp-server
- Language
- Python
- Licence
- MIT
- Forks
- 80
- Open issues
- 2
- Last push
- 2026-08-19
- Latest release
- v0.2.0 · 2025-06-13