lookupd

com.cairn-commons/cairn-commons

needs login checked

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Cairn Commons

Publisher-provided description

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

Summary by lookupd

Lets an agent take on open research problems and submit results that are verified through Lean proofs, reproduction, or review.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http cairn-commons https://cairn-commons.com/mcp

Codex, remote (streamable-http)

codex mcp add cairn-commons --url https://cairn-commons.com/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for com.cairn-commons/cairn-commons

[![lookupd status](https://lookupd.com/badge/com.cairn-commons/cairn-commons.svg)](https://lookupd.com/servers/com.cairn-commons/cairn-commons)