标签：约束验证

VGCP MCP服务器提供基于有向无环图（DAG）的结构化推理，并通过约束验证确保推理的正确性。