How does it handle exhaustive switch statements?

It implements the 'assertNever' pattern, which uses the TypeScript 'never' type to provide a compile-time guarantee that every case in a union is handled.

Which technologies are supported by this type-safety skill?

This skill focuses on TypeScript (Zod, tRPC, Prisma, TS 5.7+) and Python (using the 'ty' type checker patterns for safe dict extraction).

What is the benefit of using branded types in this skill?

Branded types allow you to distinguish between identical primitive types (like two different UUID strings) at the type level, preventing you from accidentally passing a UserId where an AnalysisId is required.

Can I use this for runtime data validation?

Yes, the skill provides extensive patterns for Zod, allowing you to validate external data, transform inputs, and handle validation errors gracefully using safeParse.

Type Safety & Validation Patterns

Name: Type Safety & Validation Patterns
Author: yonatangross

byyonatangross

•

API 开发

Implements end-to-end type safety and runtime validation using Zod, tRPC, and Prisma for robust TypeScript and Python applications.

This skill empowers Claude to build resilient, production-ready applications by leveraging advanced type-safety patterns across the entire stack. It focuses on Zod for runtime validation, tRPC for end-to-end typed APIs, and Prisma for type-safe database interactions. By incorporating strict TypeScript 5.7+ features, exhaustive switch statement checks, and branded types, it minimizes runtime errors and prevents logical confusion between similar data types. Additionally, it provides specialized patterns for Python type narrowing, making it an essential toolkit for developers prioritizing data integrity and strict contract enforcement.

主要功能

01End-to-end type safety with tRPC and Prisma integration

02Strict TypeScript 5.7+ and Python 'ty' type-narrowing patterns

03Robust runtime validation using Zod schemas and safe parsing

04Exhaustive type checking via compile-time assertNever patterns

05Branded types for nominal typing and ID safety

0669 GitHub stars

使用场景

01Validating external API payloads and user inputs to prevent runtime crashes

02Building full-stack applications with synchronized types between frontend and backend

03Implementing strict domain-driven design using branded types for IDs and identifiers

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add yonatangross/orchestkit type-safety-validation

For use in Claude.ai and ChatGPT

Download Skill