开源智能体验证工具 Assure：通过网关与确定性断言检测 Agent 虚假完工

开源工具 Assure 正式推出，它通过在沙箱环境中经由受控网关执行智能体工具调用，并使用人类编写的确定性断言检验状态变更，在不引入大模型裁决的情况下验证 AI 是否说谎。系统将智能体的自我声明视为不可信输入，结合 SQLite 与文件系统差异生成防篡改证据链。该项目无需 API Key 即可本地运行和接入 CI，原生支持 MCP 协议智能体，并提供了多轮对抗性基准测试套件。