AI导哈

Copland验证协议管理工具

一个用于配置、运行和评估Copland验证协议的服务器和Web仪表板，支持AI代理和人工操作。

  • by ku-sldg
  • Python
  • 本地部署
  • 更新于
在 GitHub 查看 ku-sldg/cvm-mcp

使用说明

cvm-mcp

MCP服务器和web仪表板 科普兰虚拟机（CVM） 证明框架。允许AI代理（和人类）配置、运行和评估Copland证明协议，而无需手动编写JSON。

这里有什么

文件 目的
server.py FastMCP服务器——将CVM工具暴露给AI代理
cvm_client.py 围绕 cvm 二进制
protocols.py 具有构建+配置功能的命名协议注册表
dashboard.py Flask web仪表板（端口5050），用于显示人类可读的结果
examples/ 示例目标文件(file1.txt, file2.txt)

先决条件

  1. CVM二进制 --构建自 ku sldg/cvm 并确保 cvm 在你的 PATH.

  2. ASP二进制文件 --构建自 ku sldg/asp libs:

    cd asp-libs
cargo build --release

  3. Python依赖关系 （需要Python 3.10+）：

    python3 -m venv .venv
source .venv/bin/activate
pip install -r requirements.txt

配置

默认情况下，服务器在以下位置查找ASP二进制文件 ~/asp-libs/target/release. 用环境变量覆盖：

export CVM_ASP_BIN=/path/to/asp-libs/target/release

运行MCP服务器

python server.py

连接任何兼容MCP的客户端（Claude Desktop等）以使用这些工具。

运行仪表板

python dashboard.py
# Open http://localhost:5050

仪表板显示所有已注册的协议。对于每种协议，您可以：

  • 条款 --从当前目标文件计算黄金哈希值并将其写入磁盘
  • 跑 --执行完整的认证协议并显示评估结果

使用MCP工具

暴露的关键工具 server.py:

工具 说明
list_protocols 列出所有已注册的命名协议
run_protocol 运行命名协议并将结果推送到仪表板
run_attestation 低级：直接运行CVM清单+请求
build_manifest 构造一个CVM清单JSON
build_run_request 构造一个CVM运行请求JSON
term_lseq 构建一个连续的科普兰术语
term_bseq 构建分支/并行Copland项
term_sig_asp 构建SIG（签名）术语
term_appr_asp 构建APPR（评估）术语
term_custom_asp 使用自定义参数构建任意ASP术语
list_available_asps 列出在配置的ASP_bin目录中找到的ASP二进制文件

注册协议

ID 科普兰术语 描述
single_hashfile_appr lseq(hashfile(file1), APPR) 对一个文件进行哈希运算，并根据黄金价值进行评估
hsh_sig_appr lseq(lseq(hsh, SIG), APPR) 哈希证据，签名，然后评估两层
dual_hashfile_sig_appr lseq(lseq(bseq/both_paths(hashfile×2), SIG), APPR) 并行哈希两个文件，签名，评估所有层

添加新协议

添加a build_* 功能，a provision_* 功能，a golden_state_* 函数和注册表项 protocols.pyThe build 函数返回 (manifest_json, request_json) provision 函数写入黄金证据文件并返回一个列表 {target, golden, sha256, timestamp} 字典。

相关 MCP