specify 是一个形式化规格创建命令，用于为系统组件、行为和算法编写正式规格说明，面向安全攸关系统。
用途：为协议、生命周期、系统或算法等主题生成形式化规格，捕捉安全性、活性、结构等关键属性。
主要能力：根据主题自动选择或由用户指定形式化方法。推荐规则包括：协议、共识、分布式类主题用 TLA+；生命周期、状态、工作流用状态机；系统、硬件、嵌入式用 SysML；交互、流程、序列用 UML。生成内容包括核心规格（TLA+ 模块、SysML 图或状态机）、文档与注释、验证方法（如适用）及实现指引，并输出 PlantUML/Mermaid 可视化图。
使用方式：以命令加主题调用，例如 /specify "distributed lock protocol"；可指定格式，如 /specify "order lifecycle" format=state-machine、/specify "vehicle control system" format=sysml、/specify "consensus algorithm" format=tla+。工作流包括分析主题、选择格式、加载对应技能（tla-specification、state-machine-design、sysml-modeling、uml-modeling）、在项目中查找 docs/requirements/ 下的相关需求与领域模型及 ADR、生成规格、输出结果。
适用场景：分布式锁与领导者选举、电商订单生命周期、自动驾驶车辆感知系统、共识算法等需要形式化描述的场景。
限制：具体命令实现细节、依赖环境、是否收费及性能表现暂未提供。