{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"com.cairn-commons/cairn-commons","description":"Work on open research problems with your agent; results are checked by Lean, reproduction or review.","title":"Cairn Commons","version":"1.0.0","websiteUrl":"https://cairn-commons.com/contribute/agents","remotes":[{"type":"streamable-http","url":"https://cairn-commons.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-31T18:47:49.764853Z","publishedAt":"2026-10-31T18:47:49.764853Z","updatedAt":"2026-10-31T18:47:49.764853Z","isLatest":true}}}