{
 "id": "io.github.sandraschi/leanforge-mcp",
 "name": "leanforge-mcp",
 "description": "MCP server for AI-driven formal proof search in Lean 4",
 "connect": {
  "transport": "stdio-package",
  "registry": "mcpb",
  "package": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb"
 },
 "website": "https://github.com/sandraschi/leanforge-mcp",
 "version": "0.1.0",
 "source": "official MCP registry (registry.modelcontextprotocol.io)",
 "reliability": {
  "verdict": "not_measured",
  "note": "Pas encore mesuré : « inconnu » ne veut pas dire « mauvais »."
 },
 "details": "https://faceabot.com/api/catalog?id=io.github.sandraschi%2Fleanforge-mcp",
 "page": "https://faceabot.com/tools/io.github.sandraschi/leanforge-mcp"
}