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。

  • 许可证不适用

    托管服务按其提供方的条款使用，因此这里不要求许可证。此检查项不计入百分比。