➡️ attestable-mcp-server

➡️ attestable-mcp-server

概述

本项目包含一个 MCP 服务，MCP 客户端可以对其进行远程证明。为此，项目使用可信执行环境来生成证书，表明 attestable-mcp-server 当前运行的代码。attestable-mcp-server 会在连接 MCP 客户端之前，于 TLS 握手中发送该证书，证明其运行的代码与 在 github actions 上构建的代码相同，而且可以通过在模拟硬件或安全硬件上本地构建并运行代码来独立验证；这些值应当相同。客户端与服务之间远程证明所用的协议是 RA-TLS，这是 TLS 的扩展，可添加特定于机器和代码的度量值，供 MCP 客户端验证。

此 RA-TLS 证书背后最重要的概念，是它在标准化的 X.509 扩展字段中嵌入了 SGX 引用值，并使用了 TCG DICE“带标签的证据”OID；该引用值又嵌入了 SGX 报告和完整的 Intel SGX 证书链。除了 SGX 引用值，证书还包含证据声明，其中最重要的是“pubkey-hash”声明，它包含由 TEE 根据正在运行的 MCP 服务内存映像生成的临时公钥的哈希值（DER 格式）。

功能

• MCP 客户端可以远程证明任何 MCP 服务上运行的代码
• MCP 服务也可以选择对 MCP 客户端进行远程证明

生成签名制品

此仓库中的 github action 脚本运行在可信执行环境（TEE）内的自托管 github runner 上。该脚本会构建一个包含 attestable-mcp-server 的 docker 容器，并为 TEE 内运行的代码生成签名证明。随后，github 会对该 docker 镜像进行签名。无论是否使用安全硬件，你都可以独立生成相同的值，并查询我们正在运行的服务，获取相同的值。

依赖项

• Intel SGX 硬件
• Gramine
• python 3.13
• Ubuntu 22.04
• Intel SGX SDK & PSW

快速入门

uv sync
docker build -t attestable-mcp-server .
gramine-sgx-gen-private-key
git clone https://github.com/gramineproject/gsc docker/gsc
cd docker/gsc
uv run ./gsc build-gramine --rm --no-cache -c ../gramine_base.config.yaml gramine_base
uv run ./gsc build -c ../attestable-mcp-server.config.yaml --rm attestable-mcp-server ../attestable-mcp-server.manifest
uv run ./gsc sign-image -c ../attestable-mcp-server.config.yaml  attestable-mcp-server "$HOME"/.config/gramine/enclave-key.pem
uv run ./gsc info-image gsc-attestable-mcp-server

在安全硬件上启动服务

docker run -itp --device=/dev/sgx_provision:/dev/sgx/provision  --device=/dev/sgx_enclave:/dev/sgx/enclave -v /var/run/aesmd/aesm.socket:/var/run/aesmd/aesm.socket -p 8000:8000 --rm gsc-attestable-mcp-server

在本地开发机器上启动服务

docker run -p 8000:8000 --rm gsc-attestable-mcp-server

TODO

• 添加一个展示 ra-tls 的 MCP 客户端
• 将我们 github action 的 Intel 签名度量值添加到此 readme 中，以便轻松进行独立验证

未来计划

• 验证 JSON Web Key（JWK）证明声明

cobrowser.xyz