Hamjamiyat
io.github.sandraschi/leanforge-mcp
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Tavsif asl tilda
Ulash
Server paket yoki masofaviy manzilni e'lon qilmagan — ko'rsatmalarni repozitoriydan qarang.
Ma'lumotlar
- Nomi
- io.github.sandraschi/leanforge-mcp
- Versiya
- 0.1.1
- Yangilangan
- 19-okt, 2026
- Manba
- Rasmiy MCP Registry
- Repozitoriy
- https://github.com/sandraschi/leanforge-mcp