S PLC 云仿真 控制台

MCP 配置指南

本服务是标准的 Streamable HTTP MCP 服务器，任何支持该传输的客户端都可以接入。

端点与鉴权

MCP 端点https://tia.hubwiz.com/sim/mcp
传输Streamable HTTP（无状态，POST JSON-RPC）
鉴权 Authorization: Bearer sim_live_…（也接受 X-API-Key）
计费每次 tools/call 扣 1 次额度；握手请求免费

API Key 在 控制台 创建与吊销，明文只显示一次。

Claude Code

claude mcp add --transport http sim-cloud https://tia.hubwiz.com/sim/mcp \
  --header "Authorization: Bearer sim_live_你的密钥"

添加后运行 claude mcp list 确认连接。

Cursor / VS Code / 通用 JSON 配置

{
  "mcpServers": {
    "sim-cloud": {
      "url": "https://tia.hubwiz.com/sim/mcp",
      "headers": {
        "Authorization": "Bearer sim_live_你的密钥"
      }
    }
  }
}

工具示例

校验一段 SCL 程序（不执行）：

{
  "name": "scl_validate",
  "arguments": {
    "sources": [
      "FUNCTION_BLOCK \"FB_Motor\"\nVAR_INPUT\n  Start : Bool;\nEND_VAR\nVAR_OUTPUT\n  Motor : Bool;\nEND_VAR\nBEGIN\n  IF #Start THEN #Motor := TRUE; END_IF;\nEND_FUNCTION_BLOCK"
    ]
  }
}

运行两个扫描周期并读回输出：

{
  "name": "scl_simulate",
  "arguments": {
    "sources": ["……"],
    "seed": { "Start": false },
    "steps": [
      { "set": { "Start": true }, "scans": 1 },
      { "set": { "Start": false }, "scans": 1 }
    ],
    "read": ["Motor"]
  }
}

运行声明式场景（脚本用例 / 穷举 / 模糊 / 不变量）：

{
  "name": "scl_run_scenario",
  "arguments": {
    "sources": ["……"],
    "scenario": {
      "scenarios": [
        {
          "name": "start latches the motor",
          "steps": [
            { "set": { "Start": true }, "expect": { "Motor": true } }
          ]
        }
      ]
    }
  }
}

标签寻址