{"name":"io.github.sandraschi/leanforge-mcp","slug":"sandraschi-leanforge-mcp","title":null,"description":"MCP server for AI-driven formal proof search in Lean 4","url":"https://mcp.market/server/sandraschi-leanforge-mcp","rating":null,"grade":"U","score":null,"certified":false,"status":"active","category":"search","tags":["search"],"presence":{"score":0,"stars":null,"forks":null,"downloads_week":null,"last_push_at":null,"license":null},"uptime":null,"claimed":false,"transport":"mcpb","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/sandraschi/leanforge-mcp","website":null,"version":"0.1.0","remotes":[],"packages":[{"registryType":"mcpb","identifier":"https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb","fileSha256":"267c7214023a51328495d0dbd0354364dab7d91abb7b50595d0fb889ac78f00f","transport":{"type":"stdio"}}],"tools":[],"scan":null,"grade_history":[],"reviews":[]}