开发与代码执行 #社区#Rust#本地运行#Apache-2.0

Tracefold

形式化验证转换演算与撤销引擎：在 AI Agent 工具执行与文件系统变更落地前构建并校验确定性逆操作（Pre-commit inverse escrow），生成带 Ed25519 签名的离线可验证 DSSE 收据与 Merkle tile 追加日志，支持 Cedar 策略门禁。

开发与代码执行 npm 0 个平台 0 项功能

安装

npx -y TraceFold/tracefold

把上面的配置写入 MCP 客户端的配置文件（Claude Desktop 为 claude_desktop_config.json），重启客户端后生效。

{
  "mcpServers": {
    "tracefold": {
      "command": "npx",
      "args": [
        "-y",
        "TraceFold/tracefold"
      ]
    }
  }
}

把上面的配置写入 MCP 客户端的配置文件（Claude Desktop 为 claude_desktop_config.json），重启客户端后生效。

数据来源：公开的 MCP Server 目录。本站为独立第三方目录，与各 MCP Server 维护方均无隶属或背书关系；名称与简介如实标注，介绍文案由本站再加工。