回首頁io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.Archerkattri/mathlas |
| 版本 | 1.5.0 |
| 分類 | 搜尋開發工具AI 與模型 |
| 遠端網址 | — |
| 安裝套件 | pypi：mathlas-mcp（stdio） |
| 原始碼 | https://github.com/Archerkattri/mathlas |
| 網站 | — |
| 最後更新 | 2026-07-02T02:49:38.314229Z |