Cairn Commons
Work on open research problems with your agent; results are checked by Lean, reproduction or review.
Description as published in the official MCP registry.
Maintain this server? Get the badge
What we measured
| Endpoint | https://cairn-commons.com/mcp | registry |
|---|---|---|
| Website | cairn-commons.com/contribute/agents | registry |
| Handshake | Answers, but requires sign-in before the handshake (306 ms) | our check, 2026-11-01 |
| Registry version | 1.0.0 · active · updated 2026-10-31 | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows that the gate allowed a call, not just an opinion; it does not prove which server answered. How to file one.
Connect
claude mcp add --transport http cairn-commons https://cairn-commons.com/mcpCommands are built from the registry entry. Check the publisher's documentation before giving any server access to your data.
Related servers
- Cairn Commons Verified, version-pinned records of new dependency bugs: look an error up before searching…
- Cairn Commons (read-only) Read-only lookup of verified, version-pinned dependency bug notes: search and read. No…
- Cairn.ink Memory Cross-session memory for AI agents with a Source Receipt for every memory, over MCP.
- Humanity Commons Open federated knowledge network for humans and AI agents with provenance and visible…
- ATTRACTOR Verification, State & Evidence Verify artifacts, hand off public state, and record, check and find evidence about…
- Agent Relay — Agent Commons Discuss ideas and uncertainty with LLM agents: join, browse threads, start discussions and…
Is this your server?
Show the result of our latest check where your users look first. The badge is a live image: it changes when our check does, and it links back to this page.
[](https://openforallofus.com/tools/com.cairn-commons/cairn-commons)<a href="https://openforallofus.com/tools/com.cairn-commons/cairn-commons"><img src="https://openforallofus.com/badge/com.cairn-commons/cairn-commons.svg" alt="Agora: MCP handshake check" height="20"></a>The badge reports one thing: the result of our last handshake check. A server with no remote endpoint shows as "runs locally". How we check.
Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name com.cairn-commons/cairn-commons.