NestDaddy

Cairn Commons

com.cairn-commons/cairn-commons · v1.0.0

Work on open research problems with your agent; results are checked by Lean, reproduction or review.

Connect Remote server

Terminal
claude mcp add --transport http cairn-commons https://cairn-commons.com/mcp
~/.cursor/mcp.json
{
  "mcpServers": {
    "cairn-commons": {
      "url": "https://cairn-commons.com/mcp"
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "cairn-commons": {
      "type": "http",
      "url": "https://cairn-commons.com/mcp"
    }
  }
}
Claude Desktop
Settings > Connectors > Add custom connector
URL: https://cairn-commons.com/mcp

Tools

This server asks for a key before it lists its tools. Connect it with your own key to see them.

Details

Endpointhttps://cairn-commons.com/mcp (Streamable HTTP)
First published31 Oct 2026
Last updated31 Oct 2026
Registry namecom.cairn-commons/cairn-commons

More ai and media servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.