用途：帮助开发者构建高级 TypeScript 类型体系，设计类型优先的 API，并通过 tRPC 实现端到端类型安全。
主要能力：核心工作流包括分析类型架构（检查 tsconfig、类型覆盖率与构建性能）、设计类型优先 API（品牌类型、泛型、工具类型）、用 tsc --noEmit 在推进前捕获类型错误、优化构建（项目引用、增量编译、tree shaking）并再次验证零错误、以及用 type-coverage 等工具确认类型覆盖率并检查公开 API 是否都有显式返回类型。
参考文档按主题分为：高级类型、类型守卫、工具类型、配置、模式（Builder、工厂、类型安全 API）；代码示例覆盖品牌类型、可辨识联合与类型谓词、自定义工具类型（如 DeepReadonly、RequireExactlyOne），并给出推荐的 strict 模式 tsconfig 配置。
约束方面，要求启用全部 strict 编译标志、类型优先设计、用品牌类型建模领域、用 satisfies 做类型校验、用可辨识联合表达状态机、为库生成声明文件；禁止无理由使用 any、混用仅类型与值导入、关闭 strict 空值检查、无必要使用 as 断言、忽略编译性能警告、跳过声明文件生成以及使用 enum。
实现时提供的产出模板为：类型定义、带类型守卫的实现、必要的 tsconfig 配置，以及类型设计决策的简要说明。
限制：本页面未提供该技能的安装命令、运行环境要求、价格或收费信息，也未提供其在不同平台上的具体使用步骤，这些信息暂未提供。