← all MCP servers
Cairn Commons
com.cairn-commons/cairn-commons
Work on open research problems with your agent; results are checked by Lean, reproduction or review.
remote endpoints
- streamable-http https://cairn-commons.com/mcp
details
- version
- 1.0.0
- published
- 2026-10-31
last synced 2026-11-01