# Regle Typescript > TypeScript support for type-safe Regle form validation, rules, and component props. Use when this capability is needed. - Skill: `tomevault-io/regle-typescript` (Agent Skill, multi-file: 2 files) - Install (CLI): `npx skillmds@latest add tomevault-io/regle-typescript` - Raw SKILL.md: https://api.skillmd.com/api/skills/tomevault-io/regle-typescript/raw - Safety review: pending - Works with: Claude Code, Claude.ai, OpenAI Codex - Category: Web & Frontend - Author: tomevault-io (https://skillmd.com/u/tomevault-io) - Updated: 2026-09-17 - Page: https://skillmd.com/skills/tomevault-io/regle-typescript --- # Regle TypeScript Regle provides first-class TypeScript support with full type inference. This skill covers type-safe validation output, typing rules schemas, and typing component props. ## Key Exports | Export | Package | Purpose | |--------|---------|---------| | `InferInput` | `@regle/core` | Infer state type from rules | | `InferSafeOutput` | `@regle/core` | Infer validated output type from `r$` | | `inferRules` | `@regle/core` | Preserve autocompletion in computed rules | | `RegleComputedRules` | `@regle/core` | Type helper for explicit rule typing | | `InferRegleRoot` | `@regle/core` | Extract `r$` type from a composable | | `RegleFieldStatus` | `@regle/core` | Type for a single field status prop | ## References | Topic | Description | Reference | |-------|-------------|-----------| | Type Safe Output | `$validate` return types, `InferSafeOutput` | [typescript-type-safe-output](references/typescript-type-safe-output.md) | | Typing Rules | `inferRules`, `RegleComputedRules`, nested properties | [typescript-typing-rules](references/typescript-typing-rules.md) | | Typing Props | `InferRegleRoot`, `RegleFieldStatus`, typing component props | [typescript-typing-props](references/typescript-typing-props.md) | --- > Converted and distributed by [TomeVault](https://tomevault.io/claim/victorgarciaesgi) — claim your Tome and manage your conversions.