Ҳамжамият
io.github.sandraschi/leanforge-mcp
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Тавсиф асл тилда
Улаш
Сервер пакет ёки масофавий манзилни эълон қилмаган — кўрсатмаларни репозиторийдан қаранг.
Маълумотлар
- Номи
- io.github.sandraschi/leanforge-mcp
- Версия
- 0.1.1
- Янгиланган
- 19 окт, 2026
- Манба
- Расмий MCP Registry
- Репозиторий
- https://github.com/sandraschi/leanforge-mcp