mathlas
MCP 服务器Claude Code 工具与能力 低风险
AI通过MCP使用的严密数学工具——370万定理搜索、PSLQ常数识别、OEIS、真实Lean内核检查、适用性清单。内部没有LLM，无需API密钥。
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
怎么安装
Claude Code
git clone https://github.com/Archerkattri/mathlas ~/.claude/skills/mathlas 推荐参考
50 工具本身 · 参考星标、下载量、最近更新、安全检查和文档情况
– 用户关注 · 参考最近的查看、安装命令复制和外链访问
50 推荐程度
0访问
0独立访客
0复制安装命令
0下载点击
0外链跳转
信息
- 协议
- Apache-2.0
- 语言
- Python
- GitHub 星标
- 12
- 月下载
- –
- 最近更新
- 2026-09-18
- 创建于
- 2026-06-05
基础安全检查
- 检查结果
- curated 收录但无 npm 包/安装命令
- 收录来源
- curated:punkpeye/awesome-mcp-servers
- 主题标签
- ai-tools, claude, formal-verification, lean4, math, mcp-server, retrieval, theorem-search