MCP-серверСообщество
io.github.sandraschi/leanforge-mcp
Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management
Описание на языке оригинала
sandraschi · ↓ 0 установок
Установка
Сервер не публикует пакет или удалённый адрес — инструкции смотрите в репозитории.
Инструменты
Список инструментов появится, когда у сервера будет sandbox или его заполнит редакция.