用途：面向编写可维护、结构良好的类型安全代码，提供一套软件设计模式与原则，适用于新代码编写、重构、代码与设计评审、TDD 重构阶段以及耦合内聚分析。
主要能力：强调快速失败而非静默兜底，禁止使用 value ?? backup ?? 'unknown' 式回退链，数据应存在时校验并抛出清晰错误，格式为 Expected [X]. Got [Y]. Context: [调试信息]；追求最大类型安全，禁止 any 与 as 等类型逃逸；用可辨识联合而非可选字段，使非法状态不可表达；依赖通过构造函数注入，方法内不得 new SomeService()；命名只用揭示意图的领域名称，禁止 data、utils、helpers、handler、processor 等通用名；不写代码注释，改用表达性代码；运行时校验使用 Zod schema 解析外部数据、API 响应和用户输入。
对象健身操九条：每方法一层缩进（实践中容忍至三层）；不用 else，改用提前返回；包装基本类型与字符串，创建值对象；集合类应只有集合本身；每行一个点；不缩写，使用完整描述性名称；保持实体小（类小于 150 行、方法小于 10 行）；避免实体上的 getter/setter/属性，做到 Tell, don't ask。
检测与重构：特性依恋指方法使用别的类数据多于自身，应把逻辑移到被依恋的类；依赖倒置扫描方法内的 new X() 与静态调用并提取到构造函数。还包含类型驱动设计（Scott Wlaschin 风格）、优先不可变（用 const、展开运算符、map/filter/reduce 代替变更）、YAGNI 不做投机性功能。
限制与适用：资料未提供具体安装命令、平台支持、收费方式或价格信息，暂未提供；该技能为设计原则指导，不附带可执行工具或验证脚本。