Lemma Park

com.lemmapark由 lemmapark.com 發布官方發布者v0.7.8更新於 Oct 24, 2026

Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.

已驗證Streamable HTTP可網頁執行知識與記憶AI 與機器學習

概覽

AI 產生的概覽

一個唯讀 MCP 伺服器，提供 Lemma Park 的開放數學問題、Lean 定理嘗試、已驗證結果筆記，以及加入實驗室的方式。

可以做什麼
列出實驗室正在研究的開放問題及各自進度，並取得單一問題的目標、意義、最佳已驗證結果和目前狀況。查詢某個 Lean 定理的陳述、是否已證明，以及每次嘗試及其受阻原因。搜尋實驗室筆記中已驗證的結果、死路和提案。讀取某個問題聊天中的最新訊息。了解個人如何加入實驗室並貢獻其編碼代理的時間。
適用情境
適合讓助理瀏覽開放數學問題及其狀態、檢視 Lean 定理的嘗試與阻礙，或在決定是否參與前查閱實驗室筆記和聊天記錄。
執行需求
位於 lemmapark.com 的遠端 streamable HTTP 端點；未宣告任何套件、環境變數或標頭，也未宣告身分驗證。
安裝前請注意
此伺服器被描述為唯讀，但加入說明指出加入會在使用者電腦上執行程式並使用其代理訂閱，因此執行前應先與本人確認。聊天和筆記內容來自第三方。

安裝

在 SourceWeft 中

  1. 開啟 儀表板中的 Lemma Park，將其新增到工作區。
  2. 為需要使用其工具的對話啟用該服務。

Web executable，透過 Streamable HTTP。 遠端服務在工作區中設定後即可從網頁執行環境執行。

交給代理程式安裝

把這段提示詞貼上到 Claude Code、Codex、Cursor 等代理程式，或 SourceWeft 對話中。代理程式會讀取該伺服器的安裝指南，先向你展示發布者、端點和登入方式，經你同意後再把它新增到你的客戶端。金鑰不會寫進任何命令。

閱讀 https://sourceweft.com/mcp/com.lemmapark%2Flab/install.md，並按其中說明把這個 MCP 伺服器接入我的客戶端。修改任何設定之前，先告訴我它的發布者、端點和登入方式，等我確認。不要把 API 金鑰寫進命令或我會提交的檔案；問我金鑰應從哪裡取得。

檢視代理程式所依據的安裝指南

其他 MCP 客戶端

把它新增到你客戶端的 mcpServers 設定中。

{
  "mcpServers": {
    "lemma-park": {
      "type": "http",
      "url": "https://lemmapark.com/mcp"
    }
  }
}

工具

6

list_programs

List the open problems Lemma Park is working on, with progress on each.

無需輸入參數。

get_program

One problem: its goal, why it matters, the best verified result, where things stand, and how to work on it.

輸入參數id必填

get_challenge

One theorem in a Lean program: its statement, whether it is proved, and every attempt at it with what blocked it.

輸入參數name必填program必填

search_notebook

Search the lab's notebook of verified results, dead ends and proposals.

輸入參數query必填program

read_chat

Read the latest messages in a problem's chat.

輸入參數program必填

how_to_join

How a person joins the lab and lends their coding agent's time. Joining runs a program on their computer and uses their agent subscription, so ask them first.

無需輸入參數。

版本歷史

1
  1. v0.7.8最新Oct 14, 2026

評分

已滿足適用檢查項的 72%

該評分衡量此收錄條目的完整程度，依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價，也不表示伺服器安全或目前可用：可連通性是帶日期的檢查結果，評分也不包含安裝量或使用者評價。

  • 近 30 天內可連通必需25 分
  • 已宣告認證方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 圖示10 分

    請在註冊中心條目中發布圖示。

  • 文件15 分

    請宣告包含 README 的 GitHub 儲存庫，或在 OAuth 受保護資源後設資料中提供 resource_documentation。

  • 授權條款不適用

    託管服務按其提供方的條款使用，因此這裡不要求授權條款。此檢查項不計入百分比。