察元AI教程库 · 文章 · MCP

关于代理工具协议的形式语义：基于过程演算的方法

大型语言模型代理能够调用外部工具的能力的出现，迫切需要对代理协议进行形式化验证。该领域主要有两种范式：基于模式的对话（SGD），一种用于零样本API泛化的研究框架，以及模型上下文协议（MCP）

作者:Andreas Schlapbach · 语言:en

简介