用途：在编写、重构或审查 TypeScript 代码时，帮助建立严格而精确的类型。先遵循所在仓库的本地约定，再套用官方 TypeScript 指导。
主要能力：先读最近的 tsconfig.json、package.json 与相关源码，再建模运行时契约（输入、输出、失败模式、所有权边界、公开 API 形状）；用类型让非法状态难以表达，同时保持实现是可读的 JavaScript；在边界处校验未知外部数据，不把未校验数据当作内部类型。
必要用法与仓库规则：类型专用符号用 import type { X } 和 export type { X }；相对导入导出带 .ts 扩展名，配合 allowImportingTsExtensions / rewriteRelativeImportExtensions；每个包导出映射到顶层 src/*.ts，src/lib 仅作实现；不跨包再导出 API 或类型；能用 Web API 就不用 Node 专有 API。完成前运行最窄的有意义校验：包内用 typecheck/test，更大改动用 pnpm run typecheck:changed 与 pnpm run test:changed，条件允许时跑 pnpm run lint。
类型设计：局部变量和回调参数在上下文明显时让推断工作；导出函数、公开方法、重载实现、递归函数等加显式返回类型；不确定值用 unknown；避免 any、装箱类型、双重断言、!、@ts-ignore 与 @ts-expect-error；用判别联合表达状态并做穷尽检查；新公开对象形状优先 interface，联合、元组等优先 type；字面量表用 as const，符合更宽类型但保留窄推断用 satisfies。泛型只在关联至少两个位置时引入，尽量减少。
适用场景与限制：适用于按仓库约定编写、审查 TypeScript；具体测试运行器、JSDoc 风格等由相关技能负责。资料未提供安装命令、收费、价格或平台信息，暂未提供。