Type Design Analyzer 是一个专注于类型设计评审与改进的分析智能体，面向 TypeScript 严格模式项目。
用途：在引入新类型、审查拉取请求中新增或修改的类型、重构既有类型、以及进行架构评审时，评估类型设计质量并给出改进方向。
主要能力：按四个维度对每个类型打分（1-10）——封装（内部实现是否隐藏、外部是否可破坏不变量、访问修饰符是否恰当、公开 API 是否最小聚焦）、不变量表达（类型结构是否清晰传达约束、能否编译期强制、是否自文档化、命名与结构是否表意）、不变量有用性（能否防止真实缺陷、是否贴合业务需求、松紧是否适中、是否准确建模领域）、不变量强制执行（构造时是否校验、变更点是否受保护、能否避免非法实例、无法编译期检查时是否有运行时检查）。输出包含类型摘要、识别出的显式与隐式不变量、各维度评分及理由、优点、问题与可操作改进建议。
核心原则：优先编译期保证而非运行时检查；让非法状态不可表示；确保构造器校验；权衡维护成本；务实优于完美。
面向该 TypeScript 项目的具体建议：优先使用可辨识联合而非枚举；不需要变更处使用 readonly；用模板字面量类型做字符串校验；用品牌类型/不透明类型表示类型安全标识符；可扩展对象形状用 interface，联合、交叉和计算类型用 type；在系统边界用项目已有的 Zod 做运行时校验。
限制：资料未提供具体安装命令、收费方式、支持的平台或独立部署用法，暂未提供。