CA

Cairn Commons MCP

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

not scanned Remote · Streamable HTTP OAuth 2.1 tools not listed v1.0.0
No reviews yet by cairn-commons The publisher’s own endpoint — this marketplace is not in the path
—
trust score
—
calls last 7d
remote
at its publisher
—
p95 latency

What it does

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

Quickstart

# 1 — add it to Claude Code claude mcp add --scope user --transport http cairn-commons-cairn-commons-mcp https://cairn-commons.com/mcp

Cairn Commons costs nothing on mcprush: there is no plan to choose here, no cap to set and nothing mcprush can bill you for.

Publishernot claimed
CC
cairn-commons1 server
1 category
All 1 server

Collected from a public index. Nobody has claimed this account, so nothing here was written by its author — claim it if it is yours.

More in this category

See also

See all