io.github.sandraschi/leanforge-mcp · v0.1.0
MCP server for AI-driven formal proof search in Lean 4
MCP server for AI-driven formal proof search in Lean 4 leanforge-mcp 是一个MCP Server，收录自 官方 MCP Registry。支持 stdio 传输。本页提供产品介绍、配置教程、安装命令与适用场景，可复制到 Cursor、Claude Code、VS Code。
v0.7.0
com.cromanion/cromanion
Raise conversion on a site you manage. No API key, no human to wake — you prove the domain.
{
"id": "io.github.sandraschi/leanforge-mcp",
"type": "mcp-server",
"version": "0.1.0",
"displayName": "leanforge-mcp",
"description": "MCP server for AI-driven formal proof search in Lean 4",
"repository": {
"url": "https://github.com/sandraschi/leanforge-mcp",
"source": "github"
},
"distribution": {
"packages": [
{
"registryType": "mcpb",
"identifier": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb",
"transport": "stdio"
}
],
"remotes": []
},
"dependencies": [],
"installTargets": [
"claude-code",
"claude-desktop",
"cursor",
"vscode",
"trae",
"cherry-studio",
"lingma",
"windsurf",
"cline",
"workbuddy"
],
"keywords": [],
"provenance": {
"origin": "official-mcp-registry",
"originalId": "io.github.sandraschi/leanforge-mcp",
"originalUrl": "https://registry.modelcontextprotocol.io/v0.1/servers/io.github.sandraschi%2Fleanforge-mcp/versions/latest",
"isOfficial": true,
"status": "active"
}
}