01Enforces exhaustive pattern matching using assertNever techniques
02Provides guidance on achieving 95%+ type coverage and strict mode compliance
03Audits missing return types and implicit type annotations for better clarity
043 GitHub stars
05Identifies unsafe type assertions and non-null operators to prevent runtime errors
06Detects and suggests replacements for 'any' types with 'unknown' and type guards