mathlas
MCP ServerClaude Code 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.
How to install
Claude Code
git clone https://github.com/Archerkattri/mathlas ~/.claude/skills/mathlas Recommendation signals
46 Tool quality · Based on stars, downloads, maintenance, security and docs
– User interest · Adjusted by in-site views, install copies and download clicks
46 Overall
0views
0install copies
0download clicks
0outbound clicks
Meta
- License
- Apache-2.0
- Language
- Python
- GitHub stars
- 9
- mo. downloads
- –
- Last push
- 2026-07-25
- 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
Claude Code Featured
Score93
superpowers
obra/superpowers
An agentic skills framework & software development methodology that works.
MCP Server Featured
Score93
fastmcp
punkpeye/fastmcp
A TypeScript framework for building MCP servers.
MCP Server Featured
Score92
DesktopCommanderMCP
wonderwhy-er/DesktopCommanderMCP
This is MCP server for Claude that gives it terminal control, file system search and diff file editing capabilities
Claude Code Featured
Score88
get-shit-done
gsd-build/get-shit-done
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.