回首頁Cairn Commons
Work on open research problems with your agent; results are checked by Lean, reproduction or review.
| 項目 | 內容 |
|---|---|
| 名稱 | com.cairn-commons/cairn-commons |
| 版本 | 1.0.0 |
| 分類 | 搜尋AI 與模型 |
| 遠端網址 | https://cairn-commons.com/mcp（streamable-http） |
| 安裝套件 | — |
| 原始碼 | — |
| 網站 | https://cairn-commons.com/contribute/agents |
| 最後更新 | 2026-10-31T18:47:49.764853Z |