com.cairn-commons/cairn-commonsai

Cairn Commons

Synced · awaiting check

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

Install

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

Our take

Helps agents contribute to open research problems, with results validated through Lean proofs, reproduction, or review. It suits researchers working on verifiable outputs, but the remote-only service provides little public maintenance or adoption data.

reviewed by hand · 2026-11-01

Something wrong or dead here? Report it

Verification record

last verified: today
in registry since: 2026-10-31

More in ai

reaai

REA

Verified · 15 days ago

Reverse engineer anything from your terminal or agent with one CLI and MCP server.

hand-reviewed291k stars232k dl/wkchecked 15 days ago

claude-flowai

claude-flow

Verified · 44 days ago

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

hand-reviewed73k stars19k dl/wkchecked 44 days ago

tldrawai

tldraw

Verified · 2 mo ago

Draw and visually collaborate with your agents on tldraw's canvas.

hand-reviewed50k starschecked 2 mo ago

codebase-memory-mcpai

Codebase Memory

Verified · 35 days ago

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

hand-reviewed45k stars12k dl/wkchecked 35 days ago

ecommerce-b2b-marketplaceai

Spree Commerce: open-source B2B and marketplace ecommerce

Verified · yesterday

Open-source B2B and marketplace ecommerce; new stores include an MCP server for AI agents.

hand-reviewed16k starschecked yesterday

openmetadata-mcpai

OpenMetadata

Verified · 27 days ago

Official OpenMetadata MCP: 21 read and write tools for search, lineage, data quality, governance.

hand-reviewed15k starschecked 27 days ago