{"id":"com-cairn-commons-cairn-commons","name":"com.cairn-commons/cairn-commons","title":"Cairn Commons","description":"Work on open research problems with your agent; results are checked by Lean, reproduction or review.","category":"agents-and-memory","categories":["agents-and-memory"],"flags":[],"users_30d":0,"health":{"status":"auth_required","latency_ms":448,"tool_count":null,"auth":"oauth","checked_at":"2026-10-31T19:30:22.302Z"},"remote":true,"pending":false,"install_link":"https://toolfindr.dev/add?server=com.cairn-commons%2Fcairn-commons&ref=tool-finder","details_url":"https://toolfindr.dev/servers/com-cairn-commons-cairn-commons","health_error":"initialize: HTTP 401","repo_url":null,"website_url":"https://cairn-commons.com/contribute/agents","version":"1.0.0","remotes":[{"type":"streamable-http","url":"https://cairn-commons.com/mcp"}]}