■ 概要（1行） TypeScriptを対象とした、軽量で高速なデータ検証（バリデーション）を定義するためのライブラリです。 ■ 特徴・用途（2〜3行） 宣言的なスキーマ定義により、データの構造検証と同時にTypeScriptによる型推論を実現します。ランタイムのオーバーヘッドを最小限に抑える設計が特徴であり、API入力やユーザー入力など、堅牢なデータチェックが求められる場面に最適です。 ■ 結論（1行） Zodなどのライブラリと比較し、パフォーマンスと軽量性を重視するプロジェクトに高い適性があります。