Deep Type Safety Auditing for TypeScript

The TypeScript Type Auditor is a specialized developer tool designed to bridge the gap between basic compiler checks and production-ready type safety. While `tsc` catches syntax errors, it often misses semantic risks like unsafe type assertions, hidden null pointers, and incomplete type narrowing that lead to runtime crashes.

What it does

This skill systematically scans your TypeScript codebase to identify high-risk anti-patterns. It goes beyond simple linting by analyzing the impact of code patterns on runtime stability. Key features include:

• Unsafe Pattern Detection: Identifies `as` assertions that bypass safety and `@ts-ignore` flags that hide bugs.
• Null & Exhaustiveness Checks: Flags missing null guards on optional properties and incomplete switch/if logic in discriminated unions.
• Severity Classification: Categorizes findings into Critical, High, Medium, and Low risks with prioritized remediation steps.
• Migration Support: Perfect for upgrading legacy projects or progressively tightening strict mode.

Why use this skill?

Manual type auditing is tedious and error-prone. This skill automates the discovery of "silent killers"—code that compiles perfectly but fails in production. It provides clear, actionable fix suggestions (like Zod schema validation for API calls) rather than just flagging errors. The output is a structured report that quantifies your type safety debt, making it an essential tool for PR reviews and sprint planning.