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.
Advanced TypeScript — type-level programming, library/DSL APIs, declaration merging, modern language features at depth (decorators, using, const T, NoInfer, variance), and feature implementation…
$ npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install pproenca/dot-skills typescript-advanced-patterns --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ 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-srcUse ~/.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/
Install the "typescript-advanced-patterns" agent skill from https://github.com/pproenca/dot-skills/tree/master/skills/.experimental/typescript-advanced-patterns into .claude/skills/typescript-advanced-patterns/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "typescript-advanced-patterns", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/pproenca/dot-skills/tree/master/skills/.experimental/typescript-advanced-patternsType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install pproenca/dot-skills typescript-advanced-patterns --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/pproenca/dot-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/.experimental/typescript-advanced-patterns .agents/skills/typescript-advanced-patterns && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "typescript-advanced-patterns" agent skill from https://github.com/pproenca/dot-skills/tree/master/skills/.experimental/typescript-advanced-patterns into .agents/skills/typescript-advanced-patterns/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "typescript-advanced-patterns", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install pproenca/dot-skills typescript-advanced-patterns --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/pproenca/dot-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/.experimental/typescript-advanced-patterns .cursor/skills/typescript-advanced-patterns && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "typescript-advanced-patterns" agent skill from https://github.com/pproenca/dot-skills/tree/master/skills/.experimental/typescript-advanced-patterns into .cursor/skills/typescript-advanced-patterns/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "typescript-advanced-patterns", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/pproenca/dot-skills.git --path skills/.experimental/typescript-advanced-patterns--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install pproenca/dot-skills typescript-advanced-patterns --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/pproenca/dot-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/.experimental/typescript-advanced-patterns .gemini/skills/typescript-advanced-patterns && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "typescript-advanced-patterns" agent skill from https://github.com/pproenca/dot-skills/tree/master/skills/.experimental/typescript-advanced-patterns into .gemini/skills/typescript-advanced-patterns/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "typescript-advanced-patterns", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install pproenca/dot-skills typescript-advanced-patternsInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/pproenca/dot-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/.experimental/typescript-advanced-patterns .github/skills/typescript-advanced-patterns && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "typescript-advanced-patterns" agent skill from https://github.com/pproenca/dot-skills/tree/master/skills/.experimental/typescript-advanced-patterns into .github/skills/typescript-advanced-patterns/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "typescript-advanced-patterns", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add pproenca/dot-skills --skill typescript-advanced-patterns -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install pproenca/dot-skills typescript-advanced-patterns --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/pproenca/dot-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/.experimental/typescript-advanced-patterns .opencode/skills/typescript-advanced-patterns && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "typescript-advanced-patterns" agent skill from https://github.com/pproenca/dot-skills/tree/master/skills/.experimental/typescript-advanced-patterns into .opencode/skills/typescript-advanced-patterns/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "typescript-advanced-patterns", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
typescript-advanced-patternsAdvanced 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. 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.
5 steps, taken from the step headings in SKILL.md.
Read from SKILL.md and the folder at commit cf93c57. It shows what the files ask for, not the result of running them.
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.
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.
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
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.
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.
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.
The full file from pproenca/dot-skills at commit cf93c57, republished under its MIT licence (© pproenca). 690 words, ~2,398 tokens.
.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.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.
Reference these guidelines when:
using composition, const T for overload disambiguation, NoInfer for anchor-vs-constrained parameters, variance annotations, the bivariance hole)exports/typesVersions)| Skill | Don't reach for this skill if you need… |
|---|---|
typescript (curated) | Compiler performance / tsconfig tuning |
typescript-refactor | General refactoring patterns and modern-TS surface basics |
ts-google | Google-style code style decisions |
clean-code-ts-react | Clean-code principles (naming, function shape, abstraction) |
effect-ts / opencode-ts | Effect 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.
| Priority | Category | Impact | Prefix | Rules |
|---|---|---|---|---|
| 1 | Library Author / DSL Patterns | CRITICAL | dsl- | 8 |
| 2 | Type-level Programming | HIGH | tlp- | 10 |
| 3 | Modern Features at Depth | HIGH | mod- | 8 |
| 4 | Feature Implementation Patterns | MEDIUM-HIGH | impl- | 8 |
| 5 | Declaration & Module System | MEDIUM | decl- | 6 |
dsl-fluent-builder-phantom-state — Enforce builder call order with phantom state typesdsl-typed-event-emitter — Build typed event emitters with mapped event mapsdsl-type-safe-object-paths — Type object path access with dot-notation inferencedsl-route-param-inference — Infer route parameters from path patternsdsl-schema-first-inference — Derive static types from runtime schemasdsl-type-safe-query-builder — Encode query shape in the builder's return typedsl-narrow-api-surface — Export only the API surface, not internal helpersdsl-overloads-vs-conditional-returns — Choose overloads over conditional return typestlp-recursive-conditional-types — Use recursive conditional types for structural transformationstlp-tail-recursion-accumulator — Use tail-recursion accumulator pattern to bypass the 50-step limittlp-infer-extends-constraints — Constrain infer with extends for validated extractiontlp-key-remapping-as — Remap keys with as clauses in mapped typestlp-variadic-tuple-types — Use variadic tuples for position-aware type algorithmstlp-type-level-string-algorithms — Build type-level string algorithms with recursive template literalstlp-distributive-conditional-control — Control distribution with the [T] extends [U] tuple tricktlp-type-level-tests — Test types with Equal, Expect, and @ts-expect-errortlp-template-literal-pattern-matching — Match structured strings with infer in template literalstlp-hkt-emulation — Emulate higher-kinded types with interface dictionariesmod-stage-3-decorators — Use Stage 3 decorators with decorator context for metaprogrammingmod-using-disposal-ordering — Compose using resources with explicit disposal orderingmod-const-type-params-overloads — Use const T to preserve literals through overloaded APIsmod-noinfer-overload-disambiguation — Use NoInfer<T> to disambiguate overloaded function signaturesmod-variance-debugging — Debug variance errors with in/out annotationsmod-method-vs-property-bivariance — Prefer property syntax over method syntax to avoid bivariance holesmod-phantom-capability-tracking — Track capabilities at the type level with phantom brandsmod-satisfies-branded-config — Combine satisfies with branded types for validated configurationimpl-tagged-result-type — Model operation outcomes as Ok<T> | Err<E> tagged unionsimpl-state-discriminated-union — Model workflow state as a discriminated union of state recordsimpl-finite-state-machine — Encode FSM transitions in function signaturesimpl-schema-derived-api-client — Derive client argument and return types from endpoint schemasimpl-type-safe-form-builder — Drive form-field inference from a single schema definitionimpl-phantom-feature-flags — Gate feature-dependent code with phantom capability typesimpl-assert-never-exhaustive — Use assertNever to force exhaustive handling of union variantsimpl-env-config-loader — Validate environment configuration at boundary with schema inferencedecl-module-augmentation — Augment third-party module types without patching sourcedecl-declaration-merging — Merge interface, namespace, and class declarations to extend APIsdecl-ambient-asset-modules — Declare ambient modules for non-TypeScript asset importsdecl-global-augmentation-discipline — Scope global type augmentation to avoid conflictsdecl-exports-and-types-versions — Ship library types with exports and typesVersions mapsdecl-authoring-d-ts-for-js — Author .d.ts files for plain JavaScript librariesRead 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.
| File | Description |
|---|---|
| references/_sections.md | Category definitions and ordering |
| assets/templates/_template.md | Template for new rules |
| metadata.json | Version 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
SKILL.md and 44 other files (references, assets) in skills/.experimental/typescript-advanced-patterns of pproenca/dot-skills.
Open the folder on GitHubat commit cf93c57
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.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Typescript Advanced Patterns this skillpproenca/dot-skills | 214 | — | ~2.4k | Automated safety check: Pass | MIT | |
| Hono Idiomsirahardianto/awesome-agv | 157 | — | ~3k | Automated safety check: Pass | MIT | |
| Type Safetyidavidov13/agentic-playwright | 223 | — | ~3.5k | Automated safety check: Pass | MIT | |
| Typescript Patternssoftspark/ai-toolkit | 179 | — | ~1.6k | Automated safety check: Pass | Apache-2.0 | |
| Typescript Idiomsirahardianto/awesome-agv | 157 | — | ~6.1k | Automated safety check: Pass | MIT | |
| Zodjasonjgardner/blockbench-mcp-plugin | 488 | 3 repos | ~1.4k | Automated safety check: Pass | GPL-3.0 |
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.
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)…
softspark/ai-toolkit
TypeScript types: generics, discriminated unions, Zod, satisfies, branded types.
irahardianto/awesome-agv
TypeScript strict typing: type narrowing, discriminated unions, Zod runtime validation, generic utility types, and Vitest testing.
jasonjgardner/blockbench-mcp-plugin
Zod schema validation best practices for type safety, parsing, and error handling.
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.
pproenca/dot-skills
Audio forensics and voice recovery guidelines for CSI-level audio analysis.
pproenca/dot-skills
Guided, scripted pipeline for running JSX/TSX/React codemods safely across large legacy codebases.
pproenca/dot-skills
Create well-structured RFCs and technical proposals for software projects.
pproenca/dot-skills
Developer-experience friction auditing and fixing — slow onboarding, repeated manual setup steps, missing bootstrap/reset/seed scripts, undiscoverable conventions.
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…
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…
Works with
Categories
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.
Typescript Advanced Patterns fits situations like: tasks involving recursive conditional types; mapped-type key remapping; variadic tuples; fluent builders with phantom state.
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.
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.
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.
SKILL.md names no scripts, command-line tools or credentials: Typescript Advanced Patterns is instructions for the agent only.
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.
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.
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.
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.
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.
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.