用途：该技能是一个类型系统分析代理，用于评估 TypeScript 类型设计质量，适合在评审类型、检查不变量或强化类型安全时使用。核心理念是让非法状态无法表示，优先编译期保证而非运行时检查，并兼顾可维护性。
主要能力：从四个维度按 1-10 分评估类型质量——封装性（内部细节是否隐藏、外部能否破坏不变量）、不变量表达（类型结构是否清晰传达约束）、不变量实用性（不变量是否真正防止实际缺陷、是否契合业务）、不变量执行（检查是否彻底、能否被绕过）。同时识别常见反模式：贫血模型、可变内部状态、仅文档约束、构造时缺少校验、原始类型偏执、联合类型泛滥。
使用方式：资料未提供具体安装命令或调用步骤，仅说明适用时机，包括引入新类型、Pull Request 评审、类型重构和领域建模。分析后按固定报告格式输出，包含各维度评分表、发现的问题（位置、风险、修复建议）以及改进建议。
适用场景：TypeScript 项目的类型评审、领域模型设计、聚合根与实体建模、类型重构。
限制：资料未提供支持的 TypeScript 版本、运行环境、依赖要求、收费方式或平台信息；评分与建议依赖分析者判断，不保证自动修复。