principle-type-system-discipline from theonlyfusioncube/potetos-for-everyone is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
Make invalid states hard or impossible to represent and parse external primitives into meaningful internal types at the edge. Use at data modeling, API design, or external data ingestion points.
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
# Type System Discipline
## Trigger
At data modeling, API design, or external data ingestion points.
## Rule
Make invalid states hard or impossible to represent and parse external primitives into meaningful internal types at the edge.
## Application
1. Name the concrete decision this principle changes.
2. Apply the rule to that decision, not as a decorative citation.
3. Prefer evidence from the current repository/runtime over generic preference.
4. If the principle conflicts with an explicit user constraint, keep the constraint and state the tradeoff.
The line at the top of this page pins the label git:20260908.f096f61, 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.
GET https://markdownregistry.com/api/v1/artifacts/art_efb7yriducjsal4y
GET https://markdownregistry.com/api/v1/resolve?ref=theonlyfusioncube/potetos-for-everyone/principle-type-system-discipline
GET https://markdownregistry.com/api/v1/blob/4565ce7b9e00ab1d3b454ea4d1187e9bc1f8595038691e68baa4da80cacf3e0b
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.
theonlyfusioncube/potetos-for-everyone · automations/benny/skills/reproduce-and-fix-issues/SKILL.md · Reproduce a confirmed issue on the closest real surface, find root cause, and optionally prepare a minimal draft fix…
theonlyfusioncube/potetos-for-everyone · automations/benny/skills/triage-issue-reports/SKILL.md · Triage incoming software issue reports using available repository and runtime evidence, without editing code. Use for…
theonlyfusioncube/potetos-for-everyone · skills/architect/SKILL.md · Settle data shapes, ownership, boundaries, and interfaces before code crosses a function/module boundary. Use for…
theonlyfusioncube/potetos-for-everyone · skills/arena/SKILL.md · Spawn parallel candidate implementations for the same task, cross-judge, and graft the best parts into the winning…
theonlyfusioncube/potetos-for-everyone · skills/automate-me/SKILL.md · Create a personal mode skill from recurring workflow patterns in available history. Use when the user wants their own…
theonlyfusioncube/potetos-for-everyone · skills/benchmark-checklist/SKILL.md · Vet a perf measurement (limiter, tuning, limits, errors, repeatability, relevance, and whether the work happened)…
theonlyfusioncube/potetos-for-everyone · skills/blast-radius/SKILL.md · Prove what a small-looking change can affect before or after editing. Use for compatibility, caller, state, schema, or…
theonlyfusioncube/potetos-for-everyone · skills/bro/SKILL.md · Restate the last technical explanation in plain human language with minimal jargon. Use when the user asks for a…
theonlyfusioncube/potetos-for-everyone · skills/correct/SKILL.md · Find the mistakes agents keep repeating in this repo and make each one impossible. Try architecture first, then types…
theonlyfusioncube/potetos-for-everyone · skills/create-formal-verification-skill/SKILL.md · Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in…
theonlyfusioncube/potetos-for-everyone · skills/create-verification-skill/SKILL.md · Generate a project-local verification skill that drives the real app and captures evidence. Use when setting up…
cursor/plugins · pstack/skills/principle-type-system-discipline/SKILL.md · Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make…
cursor/plugins · harness/pstack/claude-code/skills/principle-type-system-discipline/SKILL.md · Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make…
nightly-labs/openbot · marketplace/production-catalog/bundles/pstack/skills/principle-type-system-discipline/SKILL.md · Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make…
michael-denyer/pstack-claude · plugins/pstack/skills/principle-type-system-discipline/SKILL.md · Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make…
backnotprop/pstack · skills/principle-type-system-discipline/SKILL.md · Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make…
iap/pstack-hermes · skills/principle-type-system-discipline/SKILL.md · Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make…
j-star-films-studios/vibecode-protocol-suite · assets/.agent/skills/engineering-principles/type-system-discipline/SKILL.md · Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make…
barbieri/local-openfinance · .agents/skills/principle-type-system-discipline/SKILL.md · Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make…