AgentSkillsCN

audit-types

审计 TypeScript 的类型安全特性与编码习惯。

SKILL.md
--- frontmatter
name: audit-types
description: Audit TypeScript type safety and patterns
agent: typescript-guardian
allowed-tools: Read, Glob, Grep

TypeScript Audit

Audit type safety across the codebase.

Scan Areas

  1. Zod Usage

    • Find Zod schemas
    • Verify ONLY at boundaries (API routes, forms, env)
    • Flag internal Zod validation
  2. Type Assertions

    • Find all 'as' type assertions
    • Verify each has validation
    • Flag unsafe casts
  3. Any Types

    • Find all 'any' usage
    • Verify justification for each
    • Suggest proper types
  4. Type Inference

    • Find duplicate type definitions
    • Verify z.infer usage for schemas
    • Check Prisma type usage
  5. Generics

    • Verify constraints on generics
    • Check for unconstrained <T>
    • Ensure type safety
  6. Nullability

    • Check optional chaining usage
    • Verify non-null assertions (!)
    • Ensure undefined handled

Output

CRITICAL: Type unsafety risks WARNING: Suboptimal patterns SUGGESTION: Better inference

Reference: supabase-postgres-best-practices (for Prisma types)