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//.nvm/versions/node//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/
许可证
麻省理工学院