typescript-magician 是处理 TypeScript 类型错误与复杂泛型的 Skill。类型描述值能怎样使用，它先看编译错误，再修根因、检查调用并复核。
例如按对象键取值，泛型可以把允许的键与返回值类型关联起来，不必用 any 放掉检查。但换掉 any 后还要看真实调用是否成立，不能靠强制断言让报错消失。
主文的接口守卫示例只检查字段存在，没有验证 id 和 name 的实际类型，仍可能接收错误数据。外部响应需要运行时核结构和值，编译通过不证明服务器返回正确。
它还列出条件类型、映射类型等参考文件，本文不展开未读的详细规则。适合已有代码与报错时定位问题，用类型测试和实际行为一起验收；没有实际执行项目检查，就不能说修复已验证。