{"id":"9c6e5f92-a612-484a-84e2-3a6fcc1a974b","shortId":"vdmzKw","kind":"mcp","title":"io.github.mrfentmen/lean-4-mcp","tagline":"Lean 4 MCP: 20 real tools to read, check, lint, scaffold, build and run Lean 4 code.","description":"Lean 4 MCP: 20 real tools to read, check, lint, scaffold, build and run Lean 4 code.","tags":["github","mrfentmen","lean","mcp"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.mrfentmen%2Flean-4-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-11-09T07:28:53.887Z","embedding":null,"createdAt":"2026-11-08T11:28:21.322Z","updatedAt":"2026-11-09T07:28:53.887Z","lastSeenAt":"2026-11-09T07:28:53.887Z","tsv":"'/lean-4-mcp':3 '20':7,24 '4':5,19,22,36 'build':15,32 'check':12,29 'code':20,37 'io.github.mrfentmen':2 'io.github.mrfentmen/lean-4-mcp':1 'lean':4,18,21,35 'lint':13,30 'mcp':6,23 'read':11,28 'real':8,25 'run':17,34 'scaffold':14,31 'tool':9,26 'transport-stdio'","prices":[{"id":"7a1ae7ea-cf2d-4dd0-a912-17e9ebee5996","listingId":"9c6e5f92-a612-484a-84e2-3a6fcc1a974b","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-11-08T11:28:21.322Z"}],"sources":[{"listingId":"9c6e5f92-a612-484a-84e2-3a6fcc1a974b","source":"anthropic_mcp","sourceId":"io.github.mrfentmen/lean-4-mcp:1.0.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-11-08T11:28:21.322Z","lastSeenAt":"2026-11-09T07:28:53.887Z"}],"details":{"listingId":"9c6e5f92-a612-484a-84e2-3a6fcc1a974b","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"1.0.0","transport":"stdio","server_name":"io.github.mrfentmen/lean-4-mcp"},"updatedAt":"2026-11-09T07:28:53.887Z"}}