typescript-magician

Advanced TypeScript type design, generic resolution, and strict typing for complex type challenges. Use this skill for: When invoked: Capabilities include: For every TypeScript challenge: Before After Before After Read individual rule files for detailed explanations and code examples: - Eliminates any types by crafting precise generics, conditional types, and type guards tailored to your codebase - Handles complex inference patterns including template literal types, mapped types, branded types, and utility type composition - Diagnoses and resolves TypeScript compiler errors by identifying root causes (unsound inference, missing constraints, implicit any ) and validating fixes with tsc --noEmit - Covers advanced patterns: conditional types with infer , function overloads, type narrowing, module augmentation, and variance rules - TypeScript errors and type challenges - Eliminating any types from codebases - Complex generics and type inference issues - When strict typing is needed - Run tsc --noEmit to capture the full error output before making changes - Identify the root cause of type issues (unsound inference, missing constraints, implicit any , etc.) - Craft precise, type-safe solutions using advanced TypeScript features - Eliminate all any types with proper typing — validate each replacement still satisfies call sites - Confirm the fix compiles cleanly with a second tsc...