开源多智能体协作内核 Ambion:TypeScript 编写,Dafny 形式化验证规则
andreisavu · x · 2026-09-22
Ambion 是一个面向「智能体 + 人类」协作的开源内核(Apache 2.0),用 TypeScript 编写,要求 Node 26+。
- 解决什么问题:一个持续进行的应用需要多个领域智能体共同参与,比如「能否承诺周四交付?」需要库存、排期、合规等多个 agent 协同;Ambion 让人类提问并读结果,agent 有话才说,且可跑在任何框架上
- 工程亮点:核心规则用 Dafny 做形式化证明;CI 对每次变更校验全部规则;自带 chaos 测试套件,跨 200 个随机种子模拟写入中途宕机、房间移交给新宿主等故障场景
形式化验证 + 混沌测试用在 agent 编排内核上,是很少见的工程规格,值得关注。
所属事件:开源协作内核 Ambion 发布，支持多智能体与人共享工作区(3 条相关)→
「编程与Agent」频道最新
- Plane Agents 上线:可派工、可被 @、可定时运行的 Agent — JosephJacks_ · 2026-09-22
- Latent Space 播客：System One 主张 AI 该做软件内可靠决策而非聊天 — lennysan · 2026-09-22
- 同一模型换 harness 账单差 5 倍,HarnessTax 实测 21 种组合 — CShorten30 · 2026-09-22
- Grok bot 接 ComfyUI MCP,本地无审查 Flux2 跑恐怖图创作 — PurzBeats · 2026-09-22
- Jev+Treg 组合三个工作流每月省 8000 美元自动化成本 — iamrobotbear · 2026-09-22
- 周末项目 Jevernetes:用 Jev 对 Kubernetes 日志做语义搜索 — aronchick · 2026-09-22