Attestable MCP Server

該項目是一個可遠程驗證的MCP服務器，利用可信執行環境（如Intel SGX）和RA-TLS協議，確保客戶端可以驗證服務器運行代碼的真實性和完整性。

安全開發者工具 #遠程驗證 #MCP協議 #可信計算 #SGX .Python

評分 : 2分

下載量 : 7.0K

更新時間 : 2025-04-29

打開站點

What is Attestable MCP Server?

This is a secure server implementation of the Model Context Protocol (MCP) that allows clients to verify its authenticity before connecting. It uses Intel SGX secure hardware to generate cryptographic proof that the server is running the exact code you expect.

How does remote attestation work?

The server provides a special certificate during connection that contains hardware-verified measurements of its running code. Clients can compare these measurements against known-good values to ensure the server hasn't been tampered with.

When should you use this?

Ideal for sensitive AI model deployments where you need to verify server integrity, or for regulatory compliance scenarios requiring proof of secure computation environments.

Key Features

Client-Verifiable Integrity

Clients can cryptographically verify the server is running approved code before sharing sensitive data

Hardware-Protected Execution

Runs in Intel SGX secure enclaves that protect against host system compromise

Reproducible Builds

All build artifacts are verifiable against GitHub Actions logs for complete transparency

Benefits

Eliminates trust in server operators - verify code yourself

Protects against supply chain attacks and runtime tampering

Maintains confidentiality even if the host system is compromised

Considerations

Requires Intel SGX compatible hardware for full security benefits

Slightly higher performance overhead than regular servers

Initial setup requires understanding of attestation concepts

Getting Started

Build the Server

Compile the server inside a secure environment to generate attestation materials

Generate Security Keys

Create cryptographic keys for the secure enclave

Package for SGX

Prepare the server for secure hardware execution

Run Securely

Start the server with hardware protection enabled

Usage Scenarios

Secure Model Deployment

Deploy sensitive AI models with verifiable integrity guarantees

Regulatory Compliance

Demonstrate secure computation environment for auditors

Frequently Asked Questions

Can I use this without SGX hardware?

How do clients verify the server?

Where can I find the reference measurements?

Learn More

MCP Specification

Official protocol documentation

RA-TLS Explained

Technical details of remote attestation TLS

Intel SGX Overview

Official documentation for the security technology

🚀 可驗證的MCP服務器

本項目提供一個可被MCP客戶端遠程驗證的MCP服務器，藉助受信任執行環境生成證書，確保服務器運行的是指定代碼，保障代碼運行的安全性和可驗證性。

🚀 快速開始

MCP服務器啟動命令如下：

go run main.go --listen :8080

使用 Docker 構建並運行：

docker build -t mcp-server .
docker run -p 8080:8080 mcp-server

✨ 主要特性

MCP 客戶端可以遠程驗證任何 MCP 服務器上運行的代碼。
MCP 服務器可以選擇性地遠程驗證 MCP 客戶端。

📦 安裝指南

本項目的運行依賴以下環境：

Intel SGX 硬件
Gramine
Python 3.13
Ubuntu 22.04
Intel SGX 馬甲

📚 詳細文檔

概述

此項目包含一個 MCP 服務器，該服務器可以被 MCP 客戶端遠程驗證。為了實現這一點，使用了受信任的執行環境 (TEE)，該環境會生成一個證書，表示當前正在運行的代碼。這個證書會在 TLS 握手過程中發送給 MCP 客戶端，並證明該服務器運行的是 GitHub Actions 上構建的相同代碼。通過在安全硬件或受信任環境中獨立構建和運行代碼，可以驗證這些值是否一致。

用於客戶端與服務器之間遠程驗證的協議是 RA-TLS，這是 TLS 的一個擴展，添加了機器和代碼特定的測量值，這些測量值可以通過 MCP 客戶端進行獨立驗證。

實現遠程驗證的關鍵證書特性在於，它嵌入了一個 SGX 報告到標準的 X.509 擴展字段中，並使用了 TCG DICE "標記證據" OID 進行編碼。這些 SGX 報告和完整的 Intel SGX 證書鏈都會被包含在內。除了 SGX 報告之外，證書還包含證據聲明，其中最重要的一個聲明是 "pubkey-hash"，它包含了受信任執行環境生成的內存鏡像中運行的 MCP 服務器的臨時公鑰 (DER 格式) 的哈希值。

生成簽名工件

此倉庫中的 GitHub 操作腳本在一個自託管的 GitHub 運行器上執行，該運行器位於受信任的執行環境中 (TEE)。該操作會構建一個 Docker 容器，其中包含可驗證的MCP服務器，並生成該容器在 TEE 中運行代碼的簽名證明。此 Docker 鏡像由 GitHub 簽名。您可以在有或沒有安全硬件的情況下獨立生成相同的值，並通過查詢正在運行的服務器來獲取相同值。