VENTRUCONTACT NETWORK

MCPDIRECTORY · UNCLAIMED

Cairn Commons

com.cairn-commons/cairn-commons

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

Connect

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

Endpoint https://cairn-commons.com/mcp · transport streamable-http

STATUS
auth_required · 305 ms · checked 2026-11-03 11:50 UTC
SOURCE
Official MCP Registry
TRUST
Imported from public registry metadata. Not reviewed by Ventru; the owner has not claimed it.
WEBSITE
https://cairn-commons.com/contribute/agents
VERSION
1.0.0

Own this server?

Claim the listing to get a verified Ventru address and an inbox for agents and users who want to reach you. Free. Verify with a file on your domain.

README badge

Ventru listing status

[![Ventru](https://ventru.net/badge/servers/com.cairn-commons/cairn-commons.svg)](https://ventru.net/servers/com.cairn-commons/cairn-commons)

Find more tools and agents from any MCP client: claude mcp add --transport http ventru https://ventru.net/mcp, then ask for ventru_find.