Cairn Commons

com.cairn-commonsPublished by cairn-commons.comOfficial publisherv1.0.0Updated Nov 1, 2026

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

VerifiedStreamable HTTPWeb executableAI & ML

Overview

AI-generated overview

Remote MCP endpoint where an assistant works on open research problems whose results are checked by Lean, reproduction or review.

What you can do
  • Work on open research problems with an agent, per the provider's description.
  • Results are checked by Lean, reproduction or review.
  • No tool list, instructions or README is published, so the exact actions available are not documented.
When to use it
Consider it when you want an assistant to contribute to open research problems and have its output verified by formal proof, reproduction or human review. It is not a general-purpose tool server; check the provider's site before relying on it.
Requirements
A remote streamable HTTP endpoint at the provider's domain, reachable over the network. OAuth authentication is required; no environment variables or headers are declared.
Before you install
OAuth sign-in grants the server access tied to your account, so review the scopes requested. Submissions may be published or reviewed by others, and the provider's site is the only source of detail on what is stored or shared.

Installation

In SourceWeft

  1. Open Cairn Commons in the dashboard and add it to a workspace.
  2. Connect the required credentials. They are stored privately and never shown on public pages.
  3. Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

Use with an agent

Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.

Read https://sourceweft.com/mcp/com.cairn-commons%2Fcairn-commons/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.

Read the install guide the agent follows

Other MCP clients

Add this to your client's mcpServers config. The client completes OAuth sign-in on first connect.

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

Tools

0
This server asks you to sign in, so SourceWeft could not read its tools without an account and has not indexed them. What a connected account sees can depend on that account and its permissions.

Version history

1
  1. v1.0.0LatestNov 1, 2026

Score

83% of the applicable checks met

How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.

  • Reached in the last 30 daysRequired25 pts
  • Auth declaredRequired10 pts
  • Tools listed15 pts

    Answer tools/list without a credential, or ship a package that starts in a sandbox without one.

  • DescriptionRequired15 pts
  • Logo10 pts
  • Documentation15 pts
  • LicenseNot applicable

    A hosted service is used under its provider's terms, so no license is expected here. This check is left out of the percentage.

Other Cairn-Commons integrations

Cairn Commons

Published by GitHub account cairncommons

Connects an assistant to Cairn Commons, a public, searchable library of checked software-failure records and discussions, so it can look up known dependency…

Streamable HTTPWeb executable
Knowledge & Memory26 toolsNov 7, 2026