TwinCAT Validator MCP Server

TwinCAT验证器MCP服务器

一个MCP服务器，用于验证、自动修复和构建TwinCAT 3 XML文件(.TcPOU, .TcIO, .TcDUT, .TcGVL).将其连接到任何LLM客户端，为您的AI助手提供可靠、确定的TwinCAT代码质量工具——结构检查、21个IEC 61131-3 OOP检查、自动修复管道和规范骨架生成。

支持的文件类型

安装

pip install twincat-validator-mcp

来源

git clone https://github.com/agenticcontrolio/twincat-validator-mcp.git
cd twincat-validator-mcp
pip install -e .

Claude桌面扩展

将此服务器与Claude Desktop一起使用的最简单方法是单击 .dxt 扩展名：

1. pip install twincat-validator-mcp
2. 下载 .dxt 文件来自 最新版本
3. 打开克劳德桌面→ 设置 → 扩展 → 安装扩展

看 dxt/README.md 了解完整的说明和故障排除。

连接到LLM客户端

对于其他客户端（Cursor、VS Code、Windsurf、Cline），服务器使用 标准 运输。将以下内容添加到客户端的MCP配置文件中：

光标-- .cursor/mcp.json

{
  "mcpServers": {
    "twincat-validator": {
      "command": "twincat-validator-mcp",
      "args": []
    }
  }
}

VS代码（复制/继续）-- .vscode/mcp.json

{
  "servers": {
    "twincat-validator": {
      "type": "stdio",
      "command": "twincat-validator-mcp",
      "args": []
    }
  }
}

风帆冲浪-- ~/.codeium/windsurf/mcp_config.json

{
  "mcpServers": {
    "twincat-validator": {
      "command": "twincat-validator-mcp",
      "args": []
    }
  }
}

Cline（VS代码扩展）

{
  "mcpServers": {
    "twincat-validator": {
      "command": "twincat-validator-mcp",
      "args": [],
      "disabled": false
    }
  }
}

From-source config (all clients)

替换 "command": "twincat-validator-mcp" 与：

"command": "python",
"args": ["-m", "twincat_validator"],
"cwd": "/path/to/twincat-validator-mcp"

MCP工具

验证

自动修正

编排

验证检查

结构和格式（关键——块导入）

• XML结构有效性
• GUID格式({xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx})
• 跨元素的GUID唯一性
• 属性吸气剂VAR块（缺失 VAR/END_VAR)
• LineIds计数一致性
• 文件结束格式

风格（警告-建议）

• 制表符（TwinCAT需要空格）
• 2-空间压痕
• 元素排序
• 命名约定(FB_, PRG_, FUNC_, E_, ST_, I_, GVL_)
• 空白行过多
• CDATA格式化

OOP——IEC 61131-3（21次检查）

在以下情况下自动运行 EXTENDS 或 IMPLEMENTS 被检测到。跳过过程代码。

自动修复功能

修复以确定性、依赖性感知的顺序应用：

1. 标签页 → 2 空格（缩进前的空格）
2. 文件结束 --修复截断 ]]> 之后 ``
3. 物业新线 --规范声明换行符
4. CDATA格式化 --更正CDATA节结构
5. 房地产VAR区块 --插入物缺失 VAR/END_VAR 吸气器
6. 空白行过多 --减少到最多连续2次
7. 缩进 --归一化为2空间倍数
8. GUID案例 --大写十六进制到规范小写
9. LineId --实验性生成（标记为不安全，仅限选择加入）

对同一文件运行两次autofix会产生字节相同的输出（保证幂等性）。

意图感知OOP执行

所有工具都接受 intent_profile 参数：

批处理工具扫描所有 .TcPOU 要解析的文件 "auto" 一次在批处理级别。

健康评分

根据问题计数，文件得分为0-100：

所有生产文件的目标值≥90。

MCP资源

MCP提示

8个可重用的提示模板，用于规范的LLM工作流，涵盖单文件生成、批验证、OOP脚手架、确定性验证和故障排除流程。可通过MCP客户端的提示界面访问。

代理指南

AGENT.md 是一个示例指南提示，告诉您的LLM代理如何使用此服务器-调用哪些工具、按何种顺序、如何路由意图（过程与OOP）、停止条件和报告约定。将其复制到您的系统提示或代理说明中，并对其进行自定义以匹配您的工作流程。

推荐工作流程

任何TwinCAT生成任务的模式——在用户批准计划之前，都不会编写代码。

flowchart LR
    A([User Prompt]) --> B[📋 Plan\nLLM produces plan file\nand stops]
    B --> C{User reviews\nand approves?}
    C -- No --> B
    C -- Yes --> D[⚙️ Implement\nLLM generates\nTwinCAT artifacts]
    D --> E[✅ Validate\nMCP server validates,\nauto-fixes, confirms safety]
    E --> F([Done])

    style A fill:#4a90d9,color:#fff,stroke:none
    style F fill:#27ae60,color:#fff,stroke:none
    style C fill:#f39c12,color:#fff,stroke:none

批准后，LLM遵循以下MCP工具顺序：

flowchart TD
    START([Plan approved by user]) --> CTX

    CTX["get_context_pack\n(stage=pre_generation)"]
    CTX --> POLICY["get_effective_oop_policy\n(if OOP task)"]
    POLICY --> SKE
    CTX --> SKE

    SKE["generate_skeleton\nfor each artifact"]
    SKE --> WRITE["LLM writes\nST content into files"]

    WRITE --> ORCH

    subgraph ORCH_LOOP ["Orchestration loop (max 3 iterations)"]
        ORCH["process_twincat_single\nor process_twincat_batch"]
        ORCH --> SAFE{safe_to_import\n&& safe_to_compile?}
        SAFE -- Yes --> DET
        SAFE -- No --> BLOCKED{no_progress\nor iter >= 3?}
        BLOCKED -- No --> KB["get_context_pack\n(stage=troubleshooting,\ncheck_ids=blockers)"]
        KB --> FIX["LLM applies\none focused correction"]
        FIX --> ORCH
        BLOCKED -- Yes --> FAIL([Report blocked —\nstop])
    end

    DET["verify_determinism_batch\n(second pass — no changes expected)"]
    DET --> STABLE{stable?}
    STABLE -- No --> ORCH
    STABLE -- Yes --> DONE([Report done ✅\nsafe_to_import, safe_to_compile,\nblocking_count=0, content_changed=false])

    style START fill:#4a90d9,color:#fff,stroke:none
    style DONE fill:#27ae60,color:#fff,stroke:none
    style FAIL fill:#e74c3c,color:#fff,stroke:none
    style BLOCKED fill:#f39c12,color:#fff,stroke:none
    style SAFE fill:#f39c12,color:#fff,stroke:none
    style STABLE fill:#f39c12,color:#fff,stroke:none

看 示例\_ PROMPT.md 对于使用此模式的完整工作提示。

配置

配置文件位于 twincat_validator/config/ 在已安装的软件包内。要定位它们：

import twincat_validator, os
print(os.path.join(os.path.dirname(twincat_validator.__file__), "config"))

编辑配置文件以重新加载后重新启动服务器。

发展

pip install -e ".[dev]"

# Run tests
pytest tests/

# Format
black --line-length=100 .

# Lint
ruff check .

# Type check
mypy twincat_validator/server.py --ignore-missing-imports

# Full CI suite (py311 + py312, lint, type check)
tox

许可证

麻省理工学院——见 许可证 了解详情。

作者

代理控制-Jaime Calvente Mieres：设计、架构和领域专业知识

在以下人员的协助下建造 克劳德 （人类学）和 法典 （OpenAI）。