MCP MCP server · io.github.sandraschi
io.github.sandraschi/leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
- host stars
- 1
- 30-day movement
- +10/day
- Related entries
- 32
- Connections
- 8
mcpblocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Tools
- 8
- Packaged as
- mcpb:https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb
- Install
- install the https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb bundle
- Version
- 0.1.0
- Last release
- 2026-08-28
- Bundle downloads, lifetime
- 90