← all MCP servers
io.github.sandraschi/leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
install
mcpb · stdio
https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb
details
- version
- 0.1.0
- license
- MIT
- stars
- 0
- last commit
- 2026-08-28
- published
- 2026-08-28
last synced 2026-08-29