# 安装 io.github.Archerkattri/mathlas

- 类型: MCP 工具
- 说明: 为 AI 代理提供定理检索与数值、Lean 严格数学验证能力。
- 仓库: https://github.com/Archerkattri/mathlas

## 方式一 · 一键代装（复制提示词让 AI 代劳）

### Claude Code
```
请帮我安装 askskill 上的 "io.github.Archerkattri/mathlas" MCP 服务：
执行：claude mcp add 'io-github-archerkattri-mathlas' -- uvx mathlas-mcp
```

### Codex
```
请帮我安装 askskill 上的 "io.github.Archerkattri/mathlas" MCP 服务：
在 ~/.codex/config.toml 中添加：
[mcp_servers.io-github-archerkattri-mathlas]
command = "uvx"
args = ["mathlas-mcp"]
然后重启 Codex 生效
```

### Cursor
```
请帮我安装 askskill 上的 "io.github.Archerkattri/mathlas" MCP 服务：
在 .cursor/mcp.json 的 "mcpServers" 中添加：
"io-github-archerkattri-mathlas": { "command": "uvx", "args": ["mathlas-mcp"] }
然后在 Cursor 设置 > MCP 中启用
```

## 方式二 · 命令行安装（原生命令与配置）

### Claude Code
```bash
claude mcp add --env MATHLAS_SEED=YOUR_VALUE --env MATHLAS_INDEX=YOUR_VALUE --transport stdio io-github-archerkattri-mathlas -- uvx mathlas-mcp
```
需要环境变量：MATHLAS_SEED, MATHLAS_INDEX

### Codex
```bash
codex mcp add --env MATHLAS_SEED=YOUR_VALUE --env MATHLAS_INDEX=YOUR_VALUE io-github-archerkattri-mathlas -- uvx mathlas-mcp
```
配置文件 ~/.codex/config.toml：
```toml
[mcp_servers.io-github-archerkattri-mathlas]
command = "uvx"
args = ["mathlas-mcp"]

[mcp_servers.io-github-archerkattri-mathlas.env]
MATHLAS_SEED = "YOUR_VALUE"
MATHLAS_INDEX = "YOUR_VALUE"
```
需要环境变量：MATHLAS_SEED, MATHLAS_INDEX

### Cursor
配置文件 .cursor/mcp.json：
```json
{
  "mcpServers": {
    "io-github-archerkattri-mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ],
      "env": {
        "MATHLAS_SEED": "YOUR_VALUE",
        "MATHLAS_INDEX": "YOUR_VALUE"
      }
    }
  }
}
```
一键安装：cursor://anysphere.cursor-deeplink/mcp/install?name=io-github-archerkattri-mathlas&config=eyJjb21tYW5kIjoidXZ4IiwiYXJncyI6WyJtYXRobGFzLW1jcCJdLCJlbnYiOnsiTUFUSExBU19TRUVEIjoiWU9VUl9WQUxVRSIsIk1BVEhMQVNfSU5ERVgiOiJZT1VSX1ZBTFVFIn19
需要环境变量：MATHLAS_SEED, MATHLAS_INDEX