10:33arXiv cs.AI@Samuel H. Christie, Amit K. Chopra, Munindar P. SinghStrabo 是一个基于声明式交互协议的多智能体系统实现框架,旨在将学术界的形式化方法应用于工业级智能体协作。研究团队以 Google 主导的 UCP(通用商务协议)为案例,将其中结账流程建模为 Langshaw 协议,并用 Peach 编程模型实现智能体。实验表明,Strabo 智能体可与 Google 的 UCP 智能体互操作,验证了声明式方法在真实场景中的可行性和优势。这项工作为在现有系统中逐步引入形式化协议提供了路径,无需全面替换已有基础设施。论文智能体声明式协议UCP多智能体系统互操作性推荐理由:做多智能体系统或电商智能体开发的团队,Strabo 展示了如何用声明式协议替代黑盒 API,既提升可验证性又能与现有 UCP 生态兼容,值得关注其渐进式落地方案。原文
01:10NVIDIA AI@NVIDIAAI76°NVIDIA 发布了 NVIDIA-Verified Agent Skills,旨在解决 AI 智能体技能引入的安全漏洞问题。这些经过验证的技能提供透明信息,包括技能功能、来源、风险以及是否被修改。每个技能都附带技能卡,并基于 agentskills.io 开放规范构建,确保在 Claude Code、OpenAI Codex 和 Cursor 等平台上可靠运行。此举提升了智能体生态的安全性和互操作性。AI产品智能体安全NVIDIA技能验证互操作性10 个信源在谈推荐理由:AI 智能体开发者终于有了安全可追溯的技能来源——NVIDIA 的 Verified Skills 解决了技能引入的漏洞风险,做智能体应用或使用 Claude Code、Codex 的团队可以直接集成,减少安全审查成本。原文