新的代理可靠性方法，AgentSpec，强制代理遵循规则。

新加坡管理大学的研究人员开发了一种新的领域特定语言 AgentSpec，旨在确保代理（agents）的可靠性。AgentSpec 强制代理遵循预定义的规则，以提高其在各种应用中的稳定性和可信赖性。这一方法通过为代理设定明确的行为规范，减少了不可预测的行为，从而增强了系统的整体安全性。研究人员表示，AgentSpec 可以广泛应用于智能合约、自动交易系统和多代理协作等场景，为这些领域的技术发展提供了新的思路和工具。