# 安装 SPARDA

- 类型: MCP 工具
- 说明: Compile backends to behavior graphs. Statically prove security, simulate APIs, and replay bugs.
- 仓库: https://github.com/zyx77550/sparda

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

### Claude Code
```
请帮我安装 askskill 上的 "SPARDA" MCP 服务：
执行：claude mcp add 'io-github-zyx77550-sparda-mcp' -- npx -y sparda-mcp
```

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

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

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

### Claude Code
```bash
claude mcp add --env SPARDA_FLYWHEEL=YOUR_VALUE --env SPARDA_RECORD_SEQUENCES=YOUR_VALUE --transport stdio io-github-zyx77550-sparda-mcp -- npx -y sparda-mcp
```
需要环境变量：SPARDA_FLYWHEEL, SPARDA_RECORD_SEQUENCES

### Codex
```bash
codex mcp add --env SPARDA_FLYWHEEL=YOUR_VALUE --env SPARDA_RECORD_SEQUENCES=YOUR_VALUE io-github-zyx77550-sparda-mcp -- npx -y sparda-mcp
```
配置文件 ~/.codex/config.toml：
```toml
[mcp_servers.io-github-zyx77550-sparda-mcp]
command = "npx"
args = ["-y","sparda-mcp"]

[mcp_servers.io-github-zyx77550-sparda-mcp.env]
SPARDA_FLYWHEEL = "YOUR_VALUE"
SPARDA_RECORD_SEQUENCES = "YOUR_VALUE"
```
需要环境变量：SPARDA_FLYWHEEL, SPARDA_RECORD_SEQUENCES

### Cursor
配置文件 .cursor/mcp.json：
```json
{
  "mcpServers": {
    "io-github-zyx77550-sparda-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "sparda-mcp"
      ],
      "env": {
        "SPARDA_FLYWHEEL": "YOUR_VALUE",
        "SPARDA_RECORD_SEQUENCES": "YOUR_VALUE"
      }
    }
  }
}
```
一键安装：cursor://anysphere.cursor-deeplink/mcp/install?name=io-github-zyx77550-sparda-mcp&config=eyJjb21tYW5kIjoibnB4IiwiYXJncyI6WyIteSIsInNwYXJkYS1tY3AiXSwiZW52Ijp7IlNQQVJEQV9GTFlXSEVFTCI6IllPVVJfVkFMVUUiLCJTUEFSREFfUkVDT1JEX1NFUVVFTkNFUyI6IllPVVJfVkFMVUUifX0
需要环境变量：SPARDA_FLYWHEEL, SPARDA_RECORD_SEQUENCES