typescript-type-modeling SKILL.md skillA

typescript-type-modeling from lu1sdv/skillsmd is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add lu1sdv/skillsmd/typescript-type-modeling@git:20261029.c763ba7

Pins git:20261029.c763ba7 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
lu1sdv/skillsmd
Path
typescript-type-modeling/SKILL.md
Versions recorded
2
Latest version
git:20261029.c763ba7, committed Oct 29, 2026
First version recorded
Oct 29, 2026
Size
6,839 bytes
Repository stars
2
License
none declared

Use when designing or repairing TypeScript domain models, public API types, narrowing, generic relationships, mapped and conditional types, utility types, or inference; representing valid states, deriving types from values, fixing assignability errors, or checking positive and negative compile examples. Use typescript-language-runtime for runtime parsing and execution compatibility.

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# TypeScript Type Modeling

Express the real contract with the smallest type model that makes misuse visible.

## Establish concrete requirements

1. Inspect the existing types, call sites, compiler version, and effective compiler options.
2. Write one valid use, one invalid use, and the value or state each should produce. Include missing, null, empty, or readonly cases when relevant.
3. Identify what is known at compile time and what must be checked at runtime.
4. Identify relationships between inputs and outputs before introducing type parameters.
5. Preserve public compatibility unless the requested change explicitly includes migration.

Read [type-design-decisions.md](references/type-design-decisions.md) when choosing a representation, utility, constraint, or recursive transformation.

## Build the model in layers

1. Model finite states or alternatives with a discriminant. Put variant-specific required fields on the corresponding variant.
2. Use an interface or object type for a coherent shape. Choose declaration merging only when open extension is intended.
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add lu1sdv/skillsmd/typescript-type-modeling@sha256:203b41f39a81cb16

The line at the top of this page pins the label git:20261029.c763ba7, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_nq4f27xi7pirh43a.svg)](https://markdownregistry.com/a/art_nq4f27xi7pirh43a)

0 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 2 versions of this file, all committed on Oct 29, 2026.

versioncommittedcommitsizeaudit
git:20261029.c763ba7 latest2026-10-29 c763ba7 6,839 BA view · diff
git:20261029.32a42ce2026-10-29 32a42ce 6,652 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (6839 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

lu1sdv/skillsmd · 2 stars · license none declared · pushed 2026-11-05 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_nq4f27xi7pirh43a
GET https://markdownregistry.com/api/v1/resolve?ref=lu1sdv/skillsmd/typescript-type-modeling
GET https://markdownregistry.com/api/v1/blob/203b41f39a81cb16e223d726b3f4240020543f8d89345c28a5b9b5e55c466009

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from lu1sdv/skillsmd

agentic-spec-driven-development SKILL.md skill
lu1sdv/skillsmd · agentic-spec-driven-development/SKILL.md · Use when applying spec-driven development to agentic coding: reviewing, auditing or validating project specs…
git:20261105.d1ff685 · audit A · 2 stars
bug-bounty-reporting SKILL.md skill
lu1sdv/skillsmd · bug-bounty-reporting/SKILL.md · A skill for creating a report in a bug bounty vulnerability assessment.Use when an agent drafts, revises, freezes, or…
git:20260922.6749075 · audit A · 2 stars
bugbounty-poc-video-runner SKILL.md skill
lu1sdv/skillsmd · bugbounty-poc-video-runner/SKILL.md · Designs a one-command, triager-friendly live security PoC video runner with staged evidence, expected-versus-actual…
git:20260829.50b9f72 · audit A · 2 stars
codeql SKILL.md skill
lu1sdv/skillsmd · codeql/SKILL.md · Scans a codebase for security vulnerabilities using CodeQL's interprocedural data flow and taint tracking analysis…
git:20260516.f0a764e · audit A · 2 stars
cook SKILL.md skill
lu1sdv/skillsmd · cook/SKILL.md · Use when user says "cook", "let it cook", wants iterative refinement with quality gates, wants to race multiple…
v1.0.0 · audit A · 2 stars
ctfd SKILL.md skill
lu1sdv/skillsmd · ctfd/SKILL.md · Use when developing, debugging, deploying, or maintaining any CTFd instance or fork - Docker stack issues, plugin…
git:20260314.993db98 · audit A · 2 stars
debate SKILL.md skill
lu1sdv/skillsmd · debate/SKILL.md · Use when a technical decision has 2–4 nameable positions and the user wants a recommendation, not open-ended…
git:20260419.6f6fafc · audit A · 2 stars
evaluating-enhancing-vulnerability-reasoning SKILL.md skill
lu1sdv/skillsmd · evaluating-enhancing-vulnerability-reasoning/SKILL.md · Perform DAG-structured vulnerability reasoning on code, modeling causal dependencies between code facts instead of…
git:20261102.b4557fd · audit A · 2 stars
feature-engineering SKILL.md skill
lu1sdv/skillsmd · feature-engineering/SKILL.md · Use when building or improving time series forecasting models and the user asks about exogenous variables, calendar…
git:20260411.b88fc6f · audit A · 2 stars
fuzzgpt SKILL.md skill
lu1sdv/skillsmd · fuzzgpt/SKILL.md · Use when you want to fuzz any software target — library, compiler, interpreter, parser, kernel/syscall, DB engine, SMT…
git:20260922.ae9c57d · audit A · 2 stars
glitchtip SKILL.md skill
lu1sdv/skillsmd · glitchtip/SKILL.md · Use when deploying, configuring, integrating, or troubleshooting GlitchTip — including self-hosted installation, SDK…
git:20260314.993db98 · audit A · 2 stars
go-algorithms SKILL.md skill
lu1sdv/skillsmd · go-algorithms/SKILL.md · Use when choosing Go slices, maps, sets, queues, heaps, linked lists, trees or graphs, or implementing two pointers…
git:20261029.84ab386 · audit A · 2 stars

Every file in lu1sdv/skillsmd

Browse by kind, by grade A, or by owner.