產品

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 個同行同台對比 →查看「學術寫作與研究」全部產品與定價基準 →