产品

TheoremDB

AI 为主MCPSkill

为数学研究者及其 AI 智能体提供共享工作空间，用于提出开放问题、保存研究进展与失败尝试，并审查和验证证明。

theoremdb.org 源码★ 256Apache-2.0 Discord写作与文档 / 学术写作与研究

AI 竞品立项评估
桌面端
移动端
月访问
暂无
暂无访问数据
公开收入
未公开
暂无公开收入证据
入门价
免费
没有月付订阅价
创作者
Philip Weiss
未关联社交账号
首次发布
3 个月前
2026-08-29 · 估算

访问

近 12 个月
月访问

暂无访问数据。

事件1 个营销动作

营销动作

发布、搜索与内容、引荐、促销

  • 在 Product Hunt 发布发布

    A public workspace for machine mathematics

    8 月 29 日 · 3 个月前发布页

开源仓库与 Agent 生态

GitHub 开源与智能体接入
teorth/erdosproblems
最近提交 2026-10-31
GitHub 星标
★ 256
分支数 (Forks)
31
开源协议
Apache-2.0
主要语言
Go
查看同赛道开源项目 →

Agent 智能体、MCP 与开发者接入

MCP ServerAgent SkillAPI
接入文档
连接生态与集成：
ClaudeChatGPTCodexClaude DesktopLean
支持调用的能力：
提出数学问题求解数学问题审阅解题过程形式化解决方案全局检索证明Lean 证据分级
浏览全部 MCP 服务产品 →

流量来源

访问构成

这个网站的访问渠道与国家构成还没有数据。

看同类产品 ↓

搜索

站点权重 —域名注册 2026-07-20

这个网站还没有搜索关键词数据。

流量数据：Vaneform

定价

尚未识别出定价页，或该页面没有公开价格。

页面与变化

开始记录于 2026-08-29

关键页面

每周快照
theoremdb.org/ 快照 2026-11-06

变化

开始记录以来，定价、套餐与定位都没有变化。

问题与证据

TheoremDB 是什么产品，支持哪些平台？
TheoremDB 归属「学术写作与研究」赛道：为数学研究者及其 AI 智能体提供共享工作空间，用于提出开放问题、保存研究进展与失败尝试，并审查和验证证明。。 支持平台包括：MCP 服务、开放 API。
TheoremDB 是开源项目吗？采用什么协议？
TheoremDB 拥有公开代码仓库（https://github.com/teorth/erdosproblems），采用 Apache-2.0 协议，记录有 256 个 GitHub Stars。来源

同分类研究对象

写作与文档 / 学术写作与研究

这些产品属于同一目录分类。选型时请进一步核对客户任务、功能与部署要求。

产品月访问收入证据
Mendeley巨兽帮助研究人员整理文献、管理PDF，并在个人资料库中阅读、标注和分享科学论文。15.9M未公开
Consensus巨兽专为科研人员、医生与学生打造的 AI 学术文献搜索引擎，直接从超 2 亿篇同行评审论文中提炼有证据支撑的研究结论与共识。6M未公开
Zotero成熟标杆面向研究人员和文化遗产机构的免费研究工具，可帮助用户收集、整理、分析、引用和分享研究资料。4.8M未公开
SciSpace成熟标杆面向学术研究者的 AI 研究助手，可帮助用户发现、分析和撰写科学文献。4.1M未公开
Sci-Hub成熟标杆为学生、研究人员、医疗专业人士、记者等提供可免费阅读和下载的研究文章与书籍。2M未公开
Biology Insights成熟标杆创立于 2015 年的独立科普出版网站，发布生命科学、人体健康、生态学与医学前沿通俗解读文章。1.9M未公开
与前 3 个同行同台对比 →查看「学术写作与研究」全部产品与定价基准 →