mathlas MCP Server

搜索 12 v1.5.0 更新于 2026-07-02

为 AI Agent 提供严密的数学能力：368 万文档定理搜索 + 数值/Lean 验证。无需 LLM，无需密钥。

适用客户端

本地客户端

Claude Desktop、Claude Code、Cursor、Cline 等支持本地 MCP 的客户端

本地运行(pypi)

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

将上方 JSON 加入 MCP 客户端配置(如 Claude Desktop 的 claude_desktop_config.json 或项目的 .mcp.json)即可接入;远程接入按客户端要求填写 URL 与鉴权头。

Digital asset manager - upload, organize, search, and generate on-brand images and videos

Create diagrams in chat, rendered as live interactive draw.io diagrams. 10,000+ searchable shapes.

Search, read, annotate, and add to your Zotero research library, local or web.

Web search, deep research, prediction markets & crypto data for AI agents. Pay per call via x402.

Inspect and drive Flutter debug apps/games: semantic snapshots, search, and custom client tools

React components and blocks with motion. Search docs, props and shadcn install commands.

收录信息来自官方 MCP Registry 与 GitHub 公开数据。Registry 标识:io.github.Archerkattri/mathlas