AI导哈

可验证图上下文协议服务器

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

  • by angrysky56
  • TypeScript
  • 本地部署
  • 更新于
在 GitHub 查看 angrysky56/vgcp-mcp-server

使用说明

VGCP MCP服务器

可验证图上下文协议 -一种模型上下文协议服务器，提供带约束验证的DAG结构化推理。

约束结晶原理

⧬∞ ⦿ ⫰ ∂ → ⧈

Infinite potential (⧬∞) crystallizes into finite actuality (⦿)
through constraint boundary (∂), producing structured reality (⧈).

这有什么作用

VGCP没有将对话视为令牌的线性日志，而是将推理结构化为 有向无环图（DAG） 哪里：

  • 节点 是键入的想法（前提、保证、索赔、工具调用等）
  • 边缘 是明确的因果/支持关系
  • 约束条件 在提交任何节点之前，由检查员执行

这 从架构上防止 某些类别的AI错误：

问题 VGCP解决方案
上下文腐烂 只加载因果祖先，而不是“最后N个令牌”
幻觉工具结果 工具因果关系执行
循环推理 DAG约束-拓扑上不可能
“中间丢失” 重新加权遍历
无出处 每个结论都有明确的因果链
无法从错误中学习 Reflexion内置-保留失败

安装

cd vgcp-mcp-server
npm install
npm run build

使用Claude Desktop

添加到您的 claude_desktop_config.json with command: node with your path ie /home/<your-username>/.nvm/versions/node/<your-version>/bin/node:

{
  "mcpServers": {
    "vgcp": {
      "command": "node",
      "args": ["/path/to/vgcp-mcp-server/build/index.js"]
    }
  }
}

工具

propose_thought

将已验证的节点添加到推理图中。Graph Kernel在提交之前验证约束。

节点类型：

  • PREMISE -公理、事实或检索到的数据（可以是根）
  • WARRANT -中间推理步骤
  • CLAIM -结论或断言
  • TOOL_CALL -请求执行外部功能
  • TOOL_RESULT -工具输出（需要tool_CALL父级！）
  • CONSTRAINT -系统规则
  • REBUTTAL -反驳论点

强制约束：

  • 孤儿预防：非根节点必须有父节点
  • 工具因果关系：TOOL_RESULT需要TOOL_CALL父级
  • 非循环：图形必须保持为DAG
  • 类型一致性：索赔必须基于推理

get_context

检索节点的因果祖先——用于推理的“因果光锥”。

get_reasoning_chain

获取从根到索赔的完整来源路径。确切地显示了哪些前提和推理导致了结论。

query_graph

按内容搜索节点。

get_graph_state

获取完整的图结构（所有节点、边、元数据）。

clear_graph

重置推理图。

示例会话

1. propose_thought(type: "PREMISE", content: "User wants to find restaurants")
   → n1 created (root)

2. propose_thought(type: "TOOL_CALL", content: "search_restaurants('nearby')", parentIds: ["n1"])
   → n2 created

3. propose_thought(type: "TOOL_RESULT", content: "Found: Pasta Palace, Taco Town", parentIds: ["n2"])
   → n3 created (valid - has TOOL_CALL parent)

4. propose_thought(type: "TOOL_RESULT", content: "Made up data", parentIds: ["n1"])
   → REJECTED: "Hallucination: Tool Result without Tool Call parent"

5. get_reasoning_chain(claimId: "n3")
   → Shows: PREMISE → TOOL_CALL → TOOL_RESULT

建筑

┌─────────────┐     ┌──────────────┐     ┌────────────┐
│   LLM       │ --> │ Graph Kernel │ --> │   Ledger   │
│ (Generator) │     │     (∂)      │     │   (DAG)    │
└─────────────┘     └──────────────┘     └────────────┘
     ↑                    │
     │                    ▼
     │              ┌──────────┐
     └────────────  │ Inspectors│
                    └──────────┘
                    - Orphan Prevention
                    - Tool Causality
                    - Acyclicity
                    - Type Consistency

未来：UI集成

为可选的实时UI可视化奠定了基础，用户可以在构建推理图时观察并与之交互。查看父项目的 UAVICrystallizer.jsx 对于React组件。

相关

此服务器实现了 可验证情报的统一架构（UAVI） 合成，结合：

  • 拓扑意识理论
  • 形式化生成架构（FGA）
  • 图解推理系统（DRS）
  • 可验证图上下文协议（VGCP）

请参阅： /home/ty/Repositories/ai_workspace/unified-architecture-synthesis/

许可证

麻省理工学院

相关 MCP