MCP serverHamjamiyat
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Tavsif asl tilda
sandraschi · ↓ 0 ta o'rnatish
O'rnatish
Server paket yoki masofaviy manzilni e'lon qilmagan — ko'rsatmalarni repozitoriydan qarang.
Instrumentlar
Instrumentlar ro'yxati serverda sinov muhiti paydo bo'lganda yoki tahririyat uni to'ldirganda ko'rinadi.