Сообщество

io.github.sandraschi/leanforge-mcp

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

Описание на языке оригинала

Подключение

Сервер не публикует пакет или удалённый адрес — инструкции смотрите в репозитории.