# 安装 symbolic_math_mcp

- 类型: MCP 工具
- 说明: 用于校验 YAML 形式符号数学证明文件，快速发现证明格式或逻辑问题。
- 仓库: https://github.com/BrosnanYuen/symbolic_math_mcp
- ⚠ 安全: 该 MCP 工具描述为本地独立的符号数学证明校验服务，无需密钥且未声明远程端点；整体未见明显高风险红旗，但因会执行本地代码、可能读取本地证明文件，且社区采用度低、维护状态未知，建议按需谨慎使用。

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

### Claude Code
```
"symbolic_math_mcp" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
```

### Codex
```
"symbolic_math_mcp" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
```

### Cursor
```
"symbolic_math_mcp" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
```

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

### Claude Code
暂无机器可读安装信息，请见源码仓库。

### Codex
暂无机器可读安装信息，请见源码仓库。

### Cursor
暂无机器可读安装信息，请见源码仓库。