leanforge-mcp

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

接入配置

该项目没有提供统一的启动命令，请按源码仓库的说明安装。