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) |
先决条件
- CVM二进制 --构建自 ku sldg/cvm 并确保
cvm在你的PATH.
- ASP二进制文件 --构建自 ku sldg/asp libs:
cd asp-libs
cargo build --release- 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} 字典。