{"id":"0619f6c3-7f4f-425e-a2a0-ae813d325337","shortId":"bZEpxd","kind":"mcp","title":"Cairn Commons","tagline":"Work on open research problems with your agent; results are checked by Lean, reproduction or review.","description":"Work on open research problems with your agent; results are checked by Lean, reproduction or review.","tags":["com","cairn","commons"],"capabilities":["mcp","transport-streamable-http","remote-server"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://cairn-commons.com/mcp","protocol":"mcp","transport":"streamable-http","auth":{"type":"mcp","details":{"transport":"streamable-http","remote_url":"https://cairn-commons.com/mcp"}},"qualityScore":"0.450","qualityRationale":"deterministic score 0.45 from registry signals: · indexed on anthropic_mcp · remote streamable-http","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-05T17:21:36.727Z","embedding":null,"createdAt":"2026-10-31T19:21:50.421Z","updatedAt":"2026-11-05T17:21:36.727Z","lastSeenAt":"2026-11-05T17:21:36.727Z","tsv":"'agent':10,26 'cairn':1 'check':13,29 'common':2 'lean':15,31 'mcp' 'open':5,21 'problem':7,23 'remote-server' 'reproduct':16,32 'research':6,22 'result':11,27 'review':18,34 'transport-streamable-http' 'work':3,19","prices":[{"id":"84e82b8c-2ac4-47e1-85de-601afbb68952","listingId":"0619f6c3-7f4f-425e-a2a0-ae813d325337","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"streamable-http","remote_url":"https://cairn-commons.com/mcp"},"createdAt":"2026-10-31T19:21:50.421Z"}],"sources":[{"listingId":"0619f6c3-7f4f-425e-a2a0-ae813d325337","source":"anthropic_mcp","sourceId":"com.cairn-commons/cairn-commons:1.0.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-10-31T19:21:50.421Z","lastSeenAt":"2026-11-05T17:21:36.727Z"}],"details":{"listingId":"0619f6c3-7f4f-425e-a2a0-ae813d325337","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":"streamable-http","remote_url":"https://cairn-commons.com/mcp","server_name":"com.cairn-commons/cairn-commons","server_title":"Cairn Commons"},"updatedAt":"2026-11-05T17:21:36.727Z"}}