用途：为基于模型的设计（MBD）算法编写结构化规格文档，覆盖系统规格、架构规格、实现计划与测试计划。适用于控制器、估计器、信号处理器、诊断或监控逻辑算法，且算法将在 Simulink、Stateflow、System Composer 或 MATLAB Function 模块中实现，属于仿真或代码生成的 MBD 工作流。
主要能力：按算法分目录存放规格，文件名以算法名开头，如 docs/specs/algorithms/<algorithm-name>/ 下的 system、architecture、implementation-plan、test-plan 四类文档。支持快速规格（单功能、少于 3 种运行模式、单速率、单人/单智能体构建时合并为 2 份文档）与完整规格（4 份独立文档）。工作流包括：建立外部接口（用 model_overview、model_read 读取现有系统，分类输入、输出、可调参数与固定参数）、定义算法目标与量化验收标准、必要时用 web_search 做领域验证、编写系统规格、编写架构规格、编写实现计划与测试计划，并在实现前取得用户批准。
使用方式：按模板 assets/system-spec-template.md、assets/architecture-spec-template.md、assets/implementation-plan-template.md、assets/test-plan-template.md 编写；架构规格需做 API 验证，可用 evaluate_matlab_code、web_search 或现有代码库用法确认签名与行为，并记录在附录 B。更新规格时检查受影响章节、更新“Last Updated”日期并保持一致性。
适用场景：算法侧规格编写；完整闭环系统可配合 specifying-plant-models 处理被控对象侧。
限制与边界：不用于构建算法模型（用 building-simulink-models）、测试现有模型（用 testing-simulink-models）、被控对象/环境模型（用 specifying-plant-models）或传统软件（C、C++、Python、独立 MATLAB 脚本，用 specifying-software）。不得在未规定积分器抗饱和/饱和行为时实现控制，不得硬编码本应可标定的参数，不得跳过多模式算法的模式切换规格，不得在连续时间路径用 Memory 模块打断代数环。接口冻结（Phase 0）后变更接口、新增系统规格外的运行模式、偏离采样时间对齐需先询问。具体收费、价格与平台信息暂未提供。