{"id":"147f302c-ecff-4246-b8dc-6f5242677ed6","shortId":"vECMys","kind":"mcp","title":"io.github.sandraschi/leanforge-mcp","tagline":"MCP server for AI-driven formal proof search in Lean 4","description":"MCP server for AI-driven formal proof search in Lean 4","tags":["github","sandraschi","leanforge","mcp"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.sandraschi%2Fleanforge-mcp","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.300","qualityRationale":"deterministic score 0.30 from registry signals: · indexed on anthropic_mcp","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:mcp:v1","enrichmentVersion":1,"enrichedAt":"2026-10-03T07:28:17.819Z","embedding":null,"createdAt":"2026-08-28T14:38:37.138Z","updatedAt":"2026-10-03T07:28:17.819Z","lastSeenAt":"2026-10-03T07:28:17.819Z","tsv":"'/leanforge-mcp':3 '4':15,27 'ai':8,20 'ai-driven':7,19 'driven':9,21 'formal':10,22 'io.github.sandraschi':2 'io.github.sandraschi/leanforge-mcp':1 'lean':14,26 'mcp':4,16 'proof':11,23 'search':12,24 'server':5,17 'transport-stdio'","prices":[{"id":"c8f8b981-7217-49ad-a294-7c3ac8d75127","listingId":"147f302c-ecff-4246-b8dc-6f5242677ed6","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-08-28T14:38:37.138Z"}],"sources":[{"listingId":"147f302c-ecff-4246-b8dc-6f5242677ed6","source":"anthropic_mcp","sourceId":"io.github.sandraschi/leanforge-mcp:0.1.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-08-28T14:38:37.138Z","lastSeenAt":"2026-10-03T07:28:17.819Z"}],"details":{"listingId":"147f302c-ecff-4246-b8dc-6f5242677ed6","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.1.0","transport":"stdio","server_name":"io.github.sandraschi/leanforge-mcp"},"updatedAt":"2026-10-03T07:28:17.819Z"}}