用途：在存在并发、共享状态、重试或委派边界时，审查多智能体编排的设计与实现，验证每个任务只有一个所有者、每个状态转换只有一个权威、每个终点可达且不产生重复效果、丢失工作或无界循环。适用 supervisor/worker、planner/executor、辩论、swarm、graph、分层 Agent 设计，以及引入并行分支、子代理、MCP 工具、持久执行、记忆、检查点或人在环路门禁时。单一独立工具调用或无并发、无共享状态、无重试与委派的简单流水线不适用。
主要能力：收集编排契约（业务目标、成功标准、非目标、任务图与稳定任务 ID、角色与权限、状态模式、消息信封与工件交接、调度/汇合/重试/超时/取消/补偿/升级策略、预算、终态与证据），并标注为已声明、推断或缺失；判断多智能体是否合理，按依赖、所有权、验证、上下文、副作用、失败六个维度评分；建模状态机（pending→ready→leased→running→succeeded 及 retry_wait、needs_human、failed、cancelled、lease_expired 等），记录授权主体、比较并设置前置条件、持久字段、事件与去重键、预算、超时与恢复路径；审查任务与状态所有权，要求单活租约所有者、隔离令牌与幂等键；审查调度与交接；命名汇合规则（all_required、quorum(k)、first_valid、best_effort、manual_select）；审查失败语义与记忆/反思循环，要求确定性步数或预算上限。
必要用法：该技能只做审查，不启动 worker、不改队列、不取消运行、不改生产配置、不部署修复，除非用户另行要求实施。输出包括拓扑摘要、不变量表、失败路径矩阵、按严重度列出的发现、推荐拓扑与验证计划。
限制：静态审查无法证明运行时调度、提供方隔离或外部效果精确一次，需在测试台验证；框架名称不保证持久性或失败语义；建议应匹配实际风险与规模。官方文档未提供安装命令或配置示例。