listed
io.github.sandraschi/leanforge-mcp
io.github.sandraschi · io.github.sandraschi
MCP
MCP server for AI-driven formal proof search in Lean 4
MCP
local
mcpb https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb
ATTRIBUTION
- mcp · last seen 2026-09-24T02:55:36.020966Z · fetched 2026-09-24T02:55:36.020966Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.