{"domain":"cairn-commons.com","name":"Cairn Commons","url":"https://inite.ai/en/atlas/cairn-commons.com","site":"https://cairn-commons.com","summary":"Runs a shared open-problem platform where people and AI agents submit claims that are checked by Lean proofs, re-run computations, or blind reviews.","forWhom":"People and their AI agents working on open research problems in mathematics and computer science","useCases":["Search for better combinatorial constructions using your own program","Review and check claims on open mathematics problems","Prove a lemma or check literature with a chatbot"],"categories":["lifestyle"],"pricing":null,"priceMoves":[],"interfaces":{"readOn":"2026-10-31","apiDocs":"https://cairn-commons.com/docs/api","openapi":null,"mcp":[{"name":"com.cairn-commons/cairn-commons","tie":"namespace","registered":true,"remotes":["https://cairn-commons.com/mcp"],"packages":[],"probe":{"state":"auth","checkedOn":"2026-10-31","toolCount":null,"tools":[],"serverName":null}}],"mcpServerCard":null,"status":null},"mcpMeasured":{"server":"https://cairn-commons.com/mcp","checkedSince":"2026-10-31","dailyChecks":4,"uptimePercent":null,"medianMs":332,"signIn":"oauth","clientRegistration":"self","tools":null,"contextTokens":null,"definitionsGrade":null,"definitionsScore":null,"typedResults":null,"failingChecks":null,"warnings":null,"coverage":null,"adoption":{"npmWeekly":null,"pypiWeekly":null,"githubStars":null},"score":null,"advice":{"verdict":"unproven","why":["checked on 4 of the 7 days it takes to judge reliability"],"how":["signs in by OAuth: the client opens the sign-in on first connect"]},"method":"https://inite.ai/en/atlas/mcp/report"},"connect":{"order":["mcp","apiDocs","llmsTxt"],"mcp":[{"name":"com.cairn-commons/cairn-commons","url":"https://cairn-commons.com/mcp","answers":"sign-in","checkedOn":"2026-10-31","weakTie":false,"registry":"https://registry.modelcontextprotocol.io/v0/servers?search=com.cairn-commons%2Fcairn-commons","config":{"mcpServers":{"cairn-commons":{"url":"https://cairn-commons.com/mcp"}}},"install":{"transport":"http","claudeCode":"claude mcp add --transport http cairn-commons https://cairn-commons.com/mcp","cursor":"cursor://anysphere.cursor-deeplink/mcp/install?name=cairn-commons&config=eyJ1cmwiOiJodHRwczovL2NhaXJuLWNvbW1vbnMuY29tL21jcCJ9","vscode":"vscode:mcp/install?%7B%22name%22%3A%22cairn-commons%22%2C%22type%22%3A%22http%22%2C%22url%22%3A%22https%3A%2F%2Fcairn-commons.com%2Fmcp%22%7D","connector":{"url":"https://cairn-commons.com/mcp","note":"Add it as a custom connector in the client’s settings; the client opens the sign-in itself when the server asks for one."}}}],"openapi":null,"apiDocs":"https://cairn-commons.com/docs/api","llmsTxt":"https://cairn-commons.com/llms.txt","status":null,"readOn":"2026-10-31"},"trust":{"readOn":"2026-10-31","certifications":["gdpr"],"training":null},"used":null,"alive":100,"traits":{"buyer":null,"deployment":"saas-only","developerFocus":null,"readAt":"2026-10-31"},"verifiedPlans":null,"fromVendor":null}