01Detects missing type guards and non-exhaustive union checks in logic flow
020 GitHub stars
03Identifies and remediates 'any' type abuse and unsafe type assertions
04Enforces runtime validation at API boundaries using schema-based tools like Zod
05Provides specific compiler configuration recommendations for strict type safety
06Audits security-sensitive code for hashing, sanitization, and credential handling