emiliaprotocol/emilia-protocol

解决的问题

EMILIA Protocol 解决了自主 AI 代理在没有严格、可验证授权的情况下执行重大操作（例如进行大额付款或删除存储库）所带来的安全风险。它防止代理在人类批准后对请求的操作进行未经授权的更改（例如更改付款金额或目的地），确保执行的操作与批准的内容完全一致。

运作方式

该协议将身份（谁在调用）和策略（通常允许什么）与权限（代理可能执行的特定工作）分开。它使用一种“网关”（Gate）机制，作为受保护工具执行前的控制点。

1. 授权（Mandate）：客户定义任务的具体限制、证据要求和过期时间。
2. 精确工作绑定（Exact Work Binding）：协议将请求的特定方法、目标和所有实质字段绑定为一个规范对象。
3. 验证与保留（Verification and Reservation）：依赖方验证证据、做出本地授权决策，并在代理进入提供者系统前保留权限。
4. 执行（Execution）：系统仅允许该授权实例进行一次已准入的提供者尝试，以防止重放攻击或盲目重试。

适用对象

• AI 代理开发者：构建需要通过 MCP (Model Context Protocol) 或 HTTP 与敏感业务系统集成的自主工作者。
• 企业安全团队：需要为 AI 驱动的操作提供持久、外部化授权状态和严格审计轨迹的组织。
• 软件工程师：希望封装现有工具（例如通过 LangChain）以确保它们仅在参数经过批准的情况下被调用的开发者。

特点

• 精确操作绑定：通过将批准绑定到特定数据字段，防止“所见即所签”的落差。
• 形式化验证：包含带有 Tamarin lemmas 和 Dolev-Yao 模型的安全案例，以证明安全主张。
• MCP 集成：提供专用的 MCP 服务器和工具来保护已声明的重大操作。
• SDK：为 Python (LangChain) 和 JavaScript/TypeScript 等语言提供轻量级 SDK 封装。
• 开放标准：基于一系列 IETF Internet-Drafts 以实现互通性。