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 协助搭建。作者用它在本科一年级教学中实践先建应用、再学底层算法的路径。