用途：该技能为多个 AI 智能体之间的技能分发与状态同步提供双模拟（bisimulation）博弈框架，核心思想是“若两个系统无法被任何观测区分，则它们双模拟等价”。
主要能力：三方角色博弈——攻击者（trit=-1）尝试区分系统，防御者（trit=+1）维持等价，仲裁者（trit=0）验证 GF(3) 守恒；支持观测桥类型做版本感知同步、MCP Tasks 协议自改写、技能分发协议（fork/sync/verify 三阶段）、冗余存储与冲突解决（值冲突、差异冲突、元冲突）、LocalSend 点对点技能传播，以及时间型与推导型学习模式的等价性比较。
使用方式：提供 Hy（DiscoHy）实现类 BisimulationGame、DisCoPy operad 接口、YAML 分发协议与 JSON 验证输出格式。命令包括 just bisim-init、just bisim-round、just bisim-disperse、just bisim-verify、just bisim-reconcile、just bisim-localsend、just bisim-transcript、just bisim-json。
适用场景：多智能体技能同步、版本迁移等价性验证、跨代理状态一致性检查。
限制：资料未提供安装步骤、依赖版本、收费与平台支持信息；GF(3) 守恒与双模拟等价为框架内定义，实际效果暂未提供。