mathlas
MCP ServerClaude Code Tools & Capabilities Low risk
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.
AI通过MCP使用的严密数学工具——370万定理搜索、PSLQ常数识别、OEIS、真实Lean内核检查、适用性清单。内部没有LLM，无需API密钥。
How to install
Claude Code
git clone https://github.com/Archerkattri/mathlas ~/.claude/skills/mathlas Recommendation signals
50 Tool quality · Based on stars, downloads, maintenance, security and docs
– User interest · Adjusted by in-site views, install copies and download clicks
50 Overall
0views
0unique visitors
0install copies
0download clicks
0outbound clicks
Meta
- License
- Apache-2.0
- Language
- Python
- GitHub stars
- 12
- mo. downloads
- –
- Last push
- 2026-09-18
- Created
- 2026-06-05
Links
Basic safety check
- Findings
- curated 收录但无 npm 包/安装命令
- Sources
- curated:punkpeye/awesome-mcp-servers
- Topics
- ai-tools, claude, formal-verification, lean4, math, mcp-server, retrieval, theorem-search
Related plugins
MCP Server
Score91
mobile-mcp
mobile-next/mobile-mcp
Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)
MCP Server
Score88
davinci-resolve-mcp
samuelgursky/davinci-resolve-mcp
MCP server integration for DaVinci Resolve Studio
MCP Server
Score83
ssh-mcp
tufantunc/ssh-mcp
MCP server exposing SSH control for Linux servers via Model Context Protocol.