流
管道 (Plumbing)
管道是一种类型化语言，用于使用会话类型指定多智能体通信协议，其编译器在执行前验证智能体图的良构性，并提供用于运行时集成的 MCP 服务器。
信号管道 (Signal Plumbing) 是一种类型化编程语言，用于描述 AI 智能体如何连接和通信。其编译器在执行前验证智能体网络配置 —— 确保智能体图在运行前是良构的。包含一个 MCP 服务器。首次公开发行于 2026 年 3 月，由同行评审研究支持（arXiv:2602.13275）。
背景 由莱思文档有限公司（爱丁堡）开发。管道将会话类型理论应用于多智能体 AI 协调。会话类型是一种形式化方法，用于指定通信协议：它们定义在交互的每个点可以发送和接收什么消息，编译器可以在任何执行发生之前验证智能体网络是否满足其协议。配套 arXiv 论文展示了一个三智能体组合引擎（Composer, Corroborator, Critic），其中包含强制性的信息不对称 —— 结构性约束，能在不要求单个智能体对齐的情况下产生可靠的集体行为。
意义 大多数智能体框架将协调视为运行时问题 —— 你只有在发生时才发现失败。管道将协调视为编译时问题 —— 你在执行前验证正确性。这是处理智能体可靠性的一种质的转变。会话类型基础在分布式系统中严谨且广为人知；将其应用于基于大语言模型 (LLM) 的智能体是形式化方法向 AI 生态系统的有意义扩展。
当前状态 首次公开发行，2026 年 3 月。可供研究和教育用途。莱思文档公司运营一个基于同一架构原则构建的生产文档系统。
开放问题 会话类型系统捕捉了哪些类别的智能体协调失败，又遗漏了哪些？管道如何处理动态智能体拓扑，即图在运行时发生变化？对于当前使用非正式协调方法的团队，采用路径是什么？
关联 管道提供了可观测智能体操作回路所需的正式规范层，但此前没有具体工具。它通过制度信任韧性建立连接，其原则是：结构设计 —— 而非单个智能体的可靠性 —— 才是值得信赖的多智能体系统的适当基础。
译注
- 管道 (Plumbing)：此处指代底层基础设施与连接机制，而非字面意义的物理管道。在技术语境中，它隐喻着支撑流动的“暗管”系统。
- 会话类型 (Session Types)：形式化方法中的标准术语，强调通信协议的序列性与类型安全，对应“理”的结构性。
- 智能体 (Agent)：对应 AI Agent，此处译为“智能体”而非“代理”，以强调其作为“修行者”般的自主性与交互性。
- 回路 (Circuit)：对应 Glossary 中的 Circuit，强调闭合、循环与稳定化的路径，区别于流动的 Current。