MCP серверҲамжамият
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Тавсиф асл тилда
sandraschi · ↓ 0 та ўрнатиш
Ўрнатиш
Сервер пакет ёки масофавий манзилни эълон қилмаган — кўрсатмаларни репозиторийдан қаранг.
Инструментлар
Инструментлар рўйхати серверда синов муҳити пайдо бўлганда ёки таҳририят уни тўлдирганда кўринади.