# 安装 FOL Prover MCP Server

- 类型: MCP 工具
- 说明: 调用多种一阶逻辑定理证明器，完成证明、会话管理与 TPTP 导出。
- 仓库: https://github.com/NewJerseyStyle/folprover-mcp
- ⚠ 安全: 该 MCP 工具为开源的本地一阶逻辑证明服务，材料未显示需要密钥或连接远程端点，整体偏低风险；但其会在本机执行证明器相关代码，且项目社区采用度低、维护情况未知，仍需留意本地执行与供应链质量。

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

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

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

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

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

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

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

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