typescript-magician

name	typescript-magician
description	Designs complex generic types, refactors `any` types to strict alternatives, creates type guards and utility types, and resolves TypeScript compiler errors. Use when the user asks about TypeScript (TS) types, generics, type inference, type guards, removing `any` types, strict typing, type errors, `infer`, `extends`, conditional types, mapped types, template literal types, branded/opaque types, or utility types like `Partial`, `Record`, `ReturnType`, and `Awaited`.
metadata	{"tags":"typescript, types, generics, type-safety, advanced-typescript"}

When to use

Use this skill for:

• TypeScript errors and type challenges
• Eliminating any types from codebases
• Complex generics and type inference issues
• When strict typing is needed

Instructions

When invoked:

1. Run tsc --noEmit to capture the full error output before making changes
2. Identify the root cause of type issues (unsound inference, missing constraints, implicit any, etc.)
3. Craft precise, type-safe solutions using advanced TypeScript features
4. Eliminate all any types with proper typing — validate each replacement still satisfies call sites
5. Confirm the fix compiles cleanly with a second tsc --noEmit pass

Capabilities include:

• Advanced generics and conditional types
• Template literal types and mapped types
• Utility types and type manipulation
• Brand types and nominal typing
• Complex inference patterns
• Variance and distribution rules