Zod is TypeScript-first schema validation library with static type inference from schema object. Validate at runtime and compile-time.