Write and review ArkType boundary validation schemas for server functions and API routes.
npx skills add https://github.com/Angael/veles --skill arktype-angael
Please help me install this Agent Skill. Skill: arktype Source: https://github.com/Angael/veles/tree/main/.agents/skills/arktype Command: npx skills add https://github.com/Angael/veles --skill arktype-angael
if checks is verbose, error-prone, and easy to bypass. This Skill guides you to use ArkType as the single boundary validation layer in the Veles repo, so server functions and API routes reject invalid input declaratively with keywords, ranges, unions, and pipes. ## Core Features & Use Cases - Boundary Validation Patterns: Apply arkTypeValidator to TanStack server functions and check type.errors in API routes, with repo-specific rules like logMiddleware and null-coerced optional numeric fields. - Strict Date-Only Validation: Use the shared dateOnlyType from @/lib/dateOnly to enforce exact YYYY-MM-DD shape and calendar validity instead of the permissive string.date. - Quick Reference & Anti-Patterns: A comprehensive catalog of ArkType expressions (strings, numbers, arrays, objects, unions, FormData, files) plus guidance on when custom .narrow() or .filter() is justified. - Use Case: When adding a recipe rating endpoint, define type('string.numeric.parse |> 1 <= number <= 5') directly above the route instead of writing manual range checks after parsing. ## Quick Start Ask the AI to add ArkType validation to a new server function or API route following the repo's boundary validation rules.High-intent search queries and answers about installing and using this skill.
Define an ArkType schema directly above the server function and pass it via `.validator(arkTypeValidator(inputType))` on the TanStack `createServerFn` chain. Keep `logMiddleware` in the middleware array per repo rules, and access parsed data through the handler's `data` argument.
Call the ArkType type directly on the input, then check `result instanceof type.errors`. On failure, return a 400 JSON response with `result.summary`; on success, the result is the narrowed, typed value ready for use.
No, `string.date` accepts expanded years like `122324-02-12` and impossible dates like `2026-02-30`. In this repo, use the shared `dateOnlyType` from `@/lib/dateOnly`, which combines `string.date.iso` with date-fns `isMatch` for exact shape and calendar validity.
Empty optional numeric form fields should become `null`. Pipe `string.trim` through a custom step that maps empty strings to null and otherwise applies `string.numeric.parse` with range constraints like `1 <= number <= 5`.
Use `.narrow()` or `.filter()` only when keywords and expression syntax cannot express the constraint cleanly. Prefer built-in keywords, ranges, unions, and pipes first; reserve custom logic for cases like even-number checks or length limits on parsed values.
Separate `if` checks remain appropriate for auth, permissions, database or storage state, async checks, and business logic. ArkType handles scalar parsing and structural constraints at the boundary; it does not replace runtime state or authorization decisions.
jangtrinhBuild full-stack TanStack Start apps with routing, forms, validation, and AI streaming.
vovanostm-publicImplements Go backend changes with thin handlers, sqlc migrations, and typed evidence outputs.
syncupsuiteImplement progressive authentication from anonymous access to full accounts.
tanstack-skillsA modern UI toolkit for building complex applications with reusable, themeable, and accessible components. It simplifies development workflowsbf and ensures consistent, maintainable interfaces.