Agent skill

Typescript Advanced Patterns

by pproenca in pproenca/dot-skills

Advanced TypeScript — type-level programming, library/DSL APIs, declaration merging, modern language features at depth (decorators, using, const T, NoInfer, variance), and feature implementation…

MITAuto-check passedDevelopment

Install Typescript Advanced Patterns

skills CLI
$ npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install pproenca/dot-skills typescript-advanced-patterns --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/pproenca/dot-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/.experimental/typescript-advanced-patterns .claude/skills/typescript-advanced-patterns && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
typescript-advanced-patterns
GitHub stars
214
Token cost
~2.4k tokens
SKILL.md length
690 words
Files
45 (incl. references, assets)
Skills in repo
182
Repo updated
First seen
Licence
MIT

At a glance

Advanced TypeScript — type-level programming, library/DSL APIs, declaration merging, modern language features at depth (decorators, using, const T, NoInfer, variance), and feature implementation…

  • Works in 5 steps: Library Author / DSL Patterns (CRITICAL) → Type-level Programming (HIGH) → Modern Features at Depth (HIGH) → …
  • Tasks involving recursive conditional types
  • SKILL.md covers When to Apply, Boundary with neighbouring…, Rule Categories by Priority and Quick Reference, plus 2 more sections
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Typescript Advanced Patterns is an agent skill from pproenca/dot-skills. Advanced TypeScript — type-level programming, library/DSL APIs, declaration merging, modern language features at depth (decorators, using, const T, NoInfer, variance), and feature implementation patterns built on advanced types. Trigger on tasks involving recursive conditional types, infer patterns, mapped-type key remapping, variadic tuples, fluent builders with phantom state, schema-first inference (Zod/Valibot), end-to-end-typed API clients, finite state machines, module augmentation, and library-publishing…

Its SKILL.md is about 2.4k tokens, which your agent loads only when the skill is triggered. The skill folder holds 47 other files, including reference files and assets (for example `AGENTS.md`, `assets/templates/_template.md` and `metadata.json`).

It sits in Development, covering Type safety, Forms and validation and API design. It works with TypeScript and Zod. The repository describes itself as: A collection of AI agent skills following the Agent Skills open format. The licence is MIT.

When your agent uses it

  • Tasks involving recursive conditional types
  • Mapped-type key remapping
  • Variadic tuples
  • Fluent builders with phantom state

Example prompts

  • “advanced”
  • “/typescript-advanced-patterns”

Workflow steps

5 steps, taken from the step headings in SKILL.md.

  1. Library Author / DSL Patterns (CRITICAL)
  2. Type-level Programming (HIGH)
  3. Modern Features at Depth (HIGH)
  4. Feature Implementation Patterns (MEDIUM-HIGH)
  5. Declaration & Module System (MEDIUM)

What it can do on your machine

Read from SKILL.md and the folder at commit cf93c57. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Typescript Advanced Patterns loads about 2.4k tokens when it runs, and up to ~40k if it reads all its reference files. Until then it costs about 220 tokens; SKILL.md has 690 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~220
When it runs · the whole SKILL.md, loaded when a task matches
~2.4k
With references · SKILL.md plus every file in references/, read only if the agent opens them
~40k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from pproenca/dot-skills at commit cf93c57, republished under its MIT licence (© pproenca). 690 words, ~2,398 tokens.

Download SKILL.mdSave it as .claude/skills/typescript-advanced-patterns/SKILL.md (or your agent's skills folder). This skill also uses 44 other files; get the full folder from GitHub.
name
typescript-advanced-patterns
description
Advanced TypeScript — type-level programming, library/DSL APIs, declaration merging, modern language features at depth (decorators, using, const T, NoInfer, variance), and feature implementation patterns built on advanced types. Trigger on tasks involving recursive conditional types, infer patterns, mapped-type key remapping, variadic tuples, fluent builders with phantom state, schema-first inference (Zod/Valibot), end-to-end-typed API clients, finite state machines, module augmentation, and library-publishing concerns. Trigger even when the user does not say "advanced" — if the work involves type-level algorithms, library-author API design, or going beyond surface-level uses of TS 5.x features, this is the skill. Assumes the reader has absorbed the `typescript-refactor` skill — this one extends those patterns at depth, never restates them.

TypeScript Advanced Patterns Best Practices

Type-level programming, library-author idioms, and feature-implementation patterns that go beyond surface uses of TypeScript 5.x. Contains 40 rules across 5 categories, prioritised by impact on consumer codebases.

When to Apply

Reference these guidelines when:

  • Designing a public library or DSL surface (fluent builders, event emitters, route parsers, query builders, schema-derived clients)
  • Writing type-level algorithms (recursive conditionals, accumulator pattern, key remapping, variadic tuples, type-level string/number ops, type-level tests)
  • Using TS 5.x features in non-trivial ways (Stage 3 decorators, using composition, const T for overload disambiguation, NoInfer for anchor-vs-constrained parameters, variance annotations, the bivariance hole)
  • Encoding workflow state, transitions, and capabilities at the type level so illegal states and missing checks are compile errors
  • Integrating with the declaration & module system (module augmentation, declaration merging, ambient asset modules, library type publishing via exports/typesVersions)

Boundary with neighbouring skills

SkillDon't reach for this skill if you need…
typescript (curated)Compiler performance / tsconfig tuning
typescript-refactorGeneral refactoring patterns and modern-TS surface basics
ts-googleGoogle-style code style decisions
clean-code-ts-reactClean-code principles (naming, function shape, abstraction)
effect-ts / opencode-tsEffect library-specific patterns

If a rule in this skill overlaps with one in typescript-refactor or .curated/typescript, the rule's Scope delta section names what this skill adds beyond the simpler version.

Rule Categories by Priority

PriorityCategoryImpactPrefixRules
1Library Author / DSL PatternsCRITICALdsl-8
2Type-level ProgrammingHIGHtlp-10
3Modern Features at DepthHIGHmod-8
4Feature Implementation PatternsMEDIUM-HIGHimpl-8
5Declaration & Module SystemMEDIUMdecl-6

Quick Reference

1. Library Author / DSL Patterns (CRITICAL)
2. Type-level Programming (HIGH)
Show full SKILL.md (276 more words)Show less
3. Modern Features at Depth (HIGH)
4. Feature Implementation Patterns (MEDIUM-HIGH)
5. Declaration & Module System (MEDIUM)

How to Use

Read individual reference files for detailed explanations, code examples, and "when NOT to apply" guidance:

Rules cross-link via [[other-rule-slug]]; follow them when a related pattern is referenced.

Reference Files

FileDescription
references/_sections.mdCategory definitions and ordering
assets/templates/_template.mdTemplate for new rules
metadata.jsonVersion and reference information

© pproenca, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 44 other files (references, assets) in skills/.experimental/typescript-advanced-patterns of pproenca/dot-skills.

  • SKILL.md
  • AGENTS.md
  • assets/templates/_template.md
  • metadata.json
  • references/_sections.md
  • references/decl-ambient-asset-modules.md
  • references/decl-authoring-d-ts-for-js.md
  • references/decl-declaration-merging.md
  • references/decl-exports-and-types-versions.md
  • references/decl-global-augmentation-discipline.md
  • references/decl-module-augmentation.md
  • references/dsl-fluent-builder-phantom-state.md
  • references/dsl-narrow-api-surface.md
  • references/dsl-overloads-vs-conditional-returns.md
  • references/dsl-route-param-inference.md
  • references/dsl-schema-first-inference.md
  • references/dsl-type-safe-object-paths.md
  • references/dsl-type-safe-query-builder.md
  • … and 27 more

Open the folder on GitHubat commit cf93c57

Compare with similar skills

Typescript Advanced Patterns next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Typescript Advanced Patterns compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Typescript Advanced Patterns this skillpproenca/dot-skills214—~2.4kAutomated safety check: PassMIT
Hono Idiomsirahardianto/awesome-agv157—~3kAutomated safety check: PassMIT
Type Safetyidavidov13/agentic-playwright223—~3.5kAutomated safety check: PassMIT
Typescript Patternssoftspark/ai-toolkit179—~1.6kAutomated safety check: PassApache-2.0
Typescript Idiomsirahardianto/awesome-agv157—~6.1kAutomated safety check: PassMIT
Zodjasonjgardner/blockbench-mcp-plugin4883 repos~1.4kAutomated safety check: PassGPL-3.0

Similar skills

  • Hono Idioms

    irahardianto/awesome-agv

    Hono lightweight web framework patterns: type-safe route handlers, middleware composition, Zod validation, and RPC clients for Cloudflare Workers, Node, or Bun.

    157 GitHub stars~3k tokensUpdated 2 days ago
    DevelopmentAuto-check passed
  • Type Safety

    idavidov13/agentic-playwright

    TypeScript type safety conventions for the Playwright scaffold — the "no any" rule, Zod 4 schema patterns (z.strictObject, top-level validators like z.uuid / z.email / z.url / z.int / z.enum)…

    223 GitHub stars~3.5k tokensUpdated 6 days ago
    Testing & QAAuto-check passed
  • Typescript Patterns

    softspark/ai-toolkit

    TypeScript types: generics, discriminated unions, Zod, satisfies, branded types.

    179 GitHub stars~1.6k tokensUpdated today
    Frontend & DesignAuto-check passed
  • Typescript Idioms

    irahardianto/awesome-agv

    TypeScript strict typing: type narrowing, discriminated unions, Zod runtime validation, generic utility types, and Vitest testing.

    157 GitHub stars~6.1k tokensUpdated 2 days ago
    Testing & QAAuto-check passed
  • Zod

    jasonjgardner/blockbench-mcp-plugin

    Zod schema validation best practices for type safety, parsing, and error handling.

    488 GitHub starsUsed in 3 repos~1.4k tokens
    DevelopmentAuto-check passed
  • Common Tasks

    idavidov13/agentic-playwright

    Copy-paste AI prompt templates for common Playwright scaffold development tasks — adding page objects, functional/E2E/API tests, Zod schemas, factories, fixtures, and components.

    223 GitHub stars~2.5k tokensUpdated 6 days ago
    Testing & QAAuto-check passed

More from pproenca/dot-skills

All 182 skills in this repo
  • Audio Voice Recovery

    pproenca/dot-skills

    Audio forensics and voice recovery guidelines for CSI-level audio analysis.

    214 GitHub stars~3.3k tokensUpdated 1 mo ago
    Auto-check passed
  • Codemod React Pipeline

    pproenca/dot-skills

    Guided, scripted pipeline for running JSX/TSX/React codemods safely across large legacy codebases.

    214 GitHub stars~1.6k tokensUpdated 1 mo ago
    Auto-check passed
  • Dev Rfc

    pproenca/dot-skills

    Create well-structured RFCs and technical proposals for software projects.

    214 GitHub stars~3.8k tokensUpdated 1 mo ago
    Auto-check passed
  • Dx Harness

    pproenca/dot-skills

    Developer-experience friction auditing and fixing — slow onboarding, repeated manual setup steps, missing bootstrap/reset/seed scripts, undiscoverable conventions.

    214 GitHub stars~1.5k tokensUpdated 1 mo ago
    Auto-check passed
  • Language Spec Author

    pproenca/dot-skills

    Turn a rough idea for a language into a complete, implementable specification — a DSL, query, config/data, template, or protocol language — by interviewing the author dimension by dimension until…

    214 GitHub stars~2.4k tokensUpdated 1 mo ago
    Auto-check passed
  • Python Pep Author

    pproenca/dot-skills

    Drafting Python Enhancement Proposals (PEPs) — proposing a Python language feature, a standard library change, an interoperability standard, or an informational/process document for the Python…

    214 GitHub stars~2.1k tokensUpdated 1 mo ago
    Auto-check passed

Works with

Questions about Typescript Advanced Patterns

What does Typescript Advanced Patterns do?

Advanced TypeScript — type-level programming, library/DSL APIs, declaration merging, modern language features at depth (decorators, using, const T, NoInfer, variance), and feature implementation…. Typescript Advanced Patterns is an agent skill from pproenca/dot-skills. Advanced TypeScript — type-level programming, library/DSL APIs, declaration merging, modern language features at depth (decorators, using, const T, NoInfer, variance), and feature implementation patterns built on advanced types.

When should I use Typescript Advanced Patterns?

Typescript Advanced Patterns fits situations like: tasks involving recursive conditional types; mapped-type key remapping; variadic tuples; fluent builders with phantom state.

How do I install Typescript Advanced Patterns in Claude Code?

Run `npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a claude-code`. Or copy the skill folder (skills/.experimental/typescript-advanced-patterns in pproenca/dot-skills) into .claude/skills/typescript-advanced-patterns in your project. Claude Code loads it when a task matches its description.

How do I install Typescript Advanced Patterns in Codex?

Run `npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a codex`. Or copy the skill folder (skills/.experimental/typescript-advanced-patterns in pproenca/dot-skills) into .agents/skills/typescript-advanced-patterns in your project. Codex loads it when a task matches its description.

Can I use Typescript Advanced Patterns in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/typescript-advanced-patterns, .gemini/skills/typescript-advanced-patterns, .github/skills/typescript-advanced-patterns and .opencode/skills/typescript-advanced-patterns in your project.

What does Typescript Advanced Patterns need to run?

SKILL.md names no scripts, command-line tools or credentials: Typescript Advanced Patterns is instructions for the agent only.

Does Typescript Advanced Patterns access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Typescript Advanced Patterns safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Typescript Advanced Patterns use?

Typescript Advanced Patterns is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Typescript Advanced Patterns use?

About 2.4k tokens (SKILL.md is roughly 9.6k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 38k tokens, read only when the agent opens those files.

What are the alternatives to Typescript Advanced Patterns?

Skills that share tags, products or a category with Typescript Advanced Patterns: Hono Idioms (irahardianto/awesome-agv, 157 stars), Type Safety (idavidov13/agentic-playwright, 223 stars), Typescript Patterns (softspark/ai-toolkit, 179 stars) and Typescript Idioms (irahardianto/awesome-agv, 157 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Typescript Advanced Patterns?

pproenca (a GitHub user) maintains it in pproenca/dot-skills, which has 214 GitHub stars. The repository holds 182 skills in this directory. The repository was last updated on August 15, 2026.

Source: pproenca/dot-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.