K. Mani Chandy 开源分布式多 Agent 教学库 DisSysLab
先了解这件事
K. Mani Chandy 发布 MIT 许可的开源 Python 库 DisSysLab（pip install dissyslab），用于构建由协作 AI 智能体组成的分布式系统，并学习保证其正确性的算法。系统中智能体只通过消息通信：由 office.md 声明连接关系，部分智能体是按英文指令工作的语言模型（需自行配置后端和凭据），其余用几行 Python 实现；sources 引入消息、sinks 写出结果，运行时提供消息传递、终止检测与停滞检测，并实现 Chandy-Lamport 快照算法。dsl check 可在不运行的情况下逐行报告结构错误，gallery 附带十个示例办公间。skills/ 目录含 office-builder 等技能，可让 Claude、Codex、Gemini CLI 协助搭建。作者用它在本科一年级教学中实践先建应用、再学底层算法的路径。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- GitHub · 灵魂体仓库kmchandy 开源 DisSysLab：用消息传递办公间教学分布式 AI 智能体系统
K. Mani Chandy 发布开源库 DisSysLab（MIT 许可，pip install dissyslab），用于构建由协作 AI 智能体组成的分布式系统并学习保证其正确性的算法。系统由 office.md 声明连接关系，部分智能体是按英文指令工作的语言模型，其余为几行 Python；sources 引入消息、sinks 写出结果，运行时提供消息传递、终止检测与停滞检测，并实现 Chandy-Lamport 快照算法。dsl check 可在不运行的情况下逐行报告结构错误，gallery 附带十个示例办公间；skills/ 目录含 office-builder 等技能，可让 Claude、Codex、Gemini CLI 协助搭建。作者用它在本科一年级教学中实践先建应用、再学底层算法的路径。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。