Cairn Commons

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

Instalar

Agrega esto a tu archivo `claude_desktop_config.json`:

{
  "mcpServers": {
    "cairn-commons": {
      "url": "https://cairn-commons.com/mcp"
    }
  }
}

Puntos de conexión remotos

https://cairn-commons.com/mcpstreamable-http

Qué puede hacer

No se ha registrado ninguna enumeración de herramientas publicable.

Comunidad

Evidencia

1 nov 2026, 16:03 UTCrequiere autenticaciónversión no registrada—