Cairn Commons

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

インストール

これを `claude_desktop_config.json` ファイルに追加してください:

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

リモートエンドポイント

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

できること

公開できるツールの列挙は記録されていません。

コミュニティ

エビデンス