超越静态端点：工具程序作为灵活代理 Web 服务的接口

在代理 Web 时代，基于 LLM 的代理越来越多地调用 Web 服务作为工具，但大多数接口仍然是 \emph{静态端点}，它们很难通过循环、条件、连接和重试来表达长期工作流。我们提出了 ToolPro，它将代理的工具意图表示为 \emph{可执行工具程序}，它紧凑地编码具有显式效果类型的多步骤服务交互。 ToolPro 结合了约束引导的程序构造、一次性状态修改调用的效果感知重放，以及决定程序执行何时优于逐步调用的配置文件驱动策略。我们使用 WebAssembly 沙箱在 MCP 风格的服务上实例化 ToolPro，并在实际应用程序的不同工作流程上对其进行评估。 ToolPro 将端到端延迟减少高达 53.4%，将客户端流量减少高达 96.1%，在网络延迟和工作流程复杂性较高的情况下收益更大。