Work on open research problems with your agent; results are checked by Lean, reproduction or review.
Maintain this server? Claim it
This server signs you in with OAuth, which the playground doesn't support yet. Install it in your MCP client to try it.
Pick your client. Values in capitals, like YOUR_TOKEN, are yours to fill in.
claude mcp add --transport http cairn-commons https://cairn-commons.com/mcp
We haven't seen a tool list from this server yet.