Results for “type-checking”

Runs a structured quality control audit on codebases, covering tests, imports, static analysis, type checking, smoke tests, UI verification, file consistency, and documentation, producing a PASS/WARN/FAIL report.

Design, review, debug, and test Python static types including Protocol, generics, variance, overloads, TypedDict, ParamSpec, TypeGuard, and narrowing.

TypeScript Testing Types

TypeScript Type Guards

Use when writing or editing typed Python scripts, parsing untyped input, choosing lightweight data shapes, or resolving common checker errors without project-scale type-system research.

TypeScript Branded Types

Audits type safety documentation against the live codebase and fixes errors, gaps, or stale information to keep docs authoritative.

Set up Husky pre-commit hooks with lint-staged (Prettier), type checking, and tests in the current repo. Use when user wants to add pre-commit hooks, set up Husky, configure lint-staged, or add commit-time formatting/typechecking/testing.

Type hints are checked by a separate tool (`mypy`, `pyright`), never by CPython

Runs bottom-up type-chain validation across database, hooks, and UI layers, then fixes errors at the failing layer for project health checks before large changes.

Implements or verifies the six-layer type safety chain from Drizzle schema through Zod, services, API routes, and React hooks, including regeneration after DB changes and bootstrapping in new folders.

Analyzes type design for encapsulation, invariant expression, usefulness, and enforcement, providing scores and improvement suggestions.

Use when tightening annotations in existing TypeScript, removing avoidable any or assertions, improving changed-file types, or reducing compiler errors without broad refactoring.

Audits typographic decisions on a screen for scale usage, readability, consistency, and token compliance, providing specific fixes.

Exploit PHP type juggling vulnerabilities caused by loose comparison operators to bypass authentication, circumvent hash verification, and manipulate application logic through type coercion attacks.

TypeScript Strict Mode

TypeScript Utility Types

Type design analysis — encapsulation, invariant expression, usefulness, and enforcement.

Use when answering difficult or disputed TypeScript questions about assignability, inference, narrowing, variance, generics, conditional or mapped types, declarations, or compiler-option semantics.

Verifies suspected security bugs to eliminate false positives, producing a TRUE POSITIVE or FALSE POSITIVE verdict with documented evidence for each.

Applies TypeScript/JavaScript rules for types, async behavior, APIs, tooling, tests, and architecture.

Use in TURBO mode before finalizing implementation, architecture, UI/UX, 3D web, mobile, SEO/PPC/growth, or programming work.

Combined verification — recite (description quality via cold-read prediction) + validate (schema compliance) + review (health checks). Use as a quality gate after creating notes or as periodic maintenance. Triggers on "/verify", "/verify [note]", "verify note quality", "check note health".

Answer detailed or normative questions about Python's type system using the complete vendored typing specification. Use for subtle assignability, generics, variance, protocols, overloads, narrowing, qualifiers, TypedDict, or checker-semantics questions that exceed everyday annotation guidance.

TypeScript Mapped Types

Detects typosquatting attacks in npm and PyPI package registries by analyzing package name similarity, publish date heuristics, and download count anomalies.

Verify work before committing, pushing, or requesting review

Verify the accuracy of claims and statements by extracting individual assertions, identifying authoritative sources, cross-referencing evidence, and assigning confidence-scored verdicts. Use when the user requests fact checking or provides relevant inputs for this workflow.

Zod TypeScript schema validation library for runtime type checking. USE WHEN: user mentions "Zod", "schema validation", "form validation", "API validation", "type-safe validation", asks about "runtime validation", "React Hook Form validation" DO NOT USE FOR: Yup projects (use yup skill), class-validator/NestJS DTOs (use class-validator skill), PropTypes, compile-time only validation

Runs a multi-phase verification pipeline including build, type-check, lint, tests, security scan, and diff review to ensure code quality before creating a PR.