Type-Driven Design Guard SKILL.md skillA

Type-Driven Design Guard from s977043/river-review is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add s977043/river-review/Type-Driven Design Guard@v0.1.0

Pins v0.1.0 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
s977043/river-review
Path
skills/midstream/type-driven-design/SKILL.md
Versions recorded
4
Latest version
v0.1.0, committed Aug 10, 2026
First version recorded
Jun 29, 2026
Size
7,005 bytes
Repository stars
7
License
MIT

Detect primitive obsession and missing domain/brand types; check that state is modeled via discriminated unions.

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

## Pattern declaration

Primary pattern: Reviewer
Secondary patterns: Inversion
Why: プリミティブ型の濫用やドメイン型の欠如をチェックリスト型で評価するが、TypeScript以外の変更では実行不要

## Goal / 目的

- 型を「仕様書」として扱い、ドメイン概念をプリミティブ型のまま放置しないようにする。
- 不正な状態を型レベルで表現不可能にする("make illegal states unrepresentable")。

## Non-goals / 扱わないこと

- `any` の排除や型アサーションの削減(`typescript-strict` のスコープ)。
- null/undefined のガードや非 null アサーションの排除(`typescript-nullcheck` のスコープ)。
- 既存の関数シグネチャ(差分に含まれていない)のリファクタ提案。
- `tsconfig.json` の設定変更。
- スタイル/命名規則のレビュー(nit は出さない)。

## Pre-execution Gate / 実行前ゲート

このスキルは以下の条件がすべて満たされない限り`NO_REVIEW`を返す。

- [ ] 差分にTypeScriptファイル(`.ts`, `.tsx`)の変更が含まれている
- [ ] 差分がテストファイル(`*.spec.ts`, `*.test.ts`, `__tests__/**`)のみではない
- [ ] inputContextにdiffが含まれている

ゲート不成立時の出力: `NO_REVIEW: type-driven-design — Type-Driven Design評価の対象となるTypeScriptコード変更が検出されない`

## False-positive guards / 抑制条件

- ブランド型がリポジトリに既に存在し、差分コードがそれを正しく使用している場合(`code_search` で確認)。
- `string` の引数が 1 つしかなく、他のプリミティブとの混入可能性がない場合。
- 外部 API レスポンスやライブラリ型を直接扱う境界コードで、ブランド型の適用範囲が明確でない場合(注記として返す)。
- 小さなユーティリティ関数で、ドメインの文脈を持たない場合。

## Rule / ルール

- ドメイン概念を表す `string` / `number` にはブランド型 (`UserId`, `OrderId`, `Price` 等) を使う。
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add s977043/river-review/Type-Driven Design Guard@sha256:035a8494a22a77c4

The line at the top of this page pins the label v0.1.0, 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_5aw6aj4a5p5ykvyr.svg)](https://markdownregistry.com/a/art_5aw6aj4a5p5ykvyr)

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

Versions

The registry has recorded 4 versions of this file, between Jun 29, 2026 and Aug 10, 2026, about one every 14 days.

versioncommittedcommitsizeaudit
v0.1.0 latest2026-08-10 ae791b7 7,005 BA view · diff
v0.1.02026-07-01 3696771 7,011 BA view · diff
v0.1.02026-06-29 45e66bc 7,045 BA view · diff
v0.1.02026-06-29 b988700 7,062 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 (7005 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

s977043/river-review · 7 stars · license MIT · pushed 2026-11-08 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_5aw6aj4a5p5ykvyr
GET https://markdownregistry.com/api/v1/resolve?ref=s977043/river-review/Type-Driven Design Guard
GET https://markdownregistry.com/api/v1/blob/035a8494a22a77c479ef979ec068c0c6ee73b509724fa99ab6275c6d1e34cb85

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 s977043/river-review

ask-codex SKILL.md skill
s977043/river-review · .claude/skills/ask-codex/SKILL.md · Get a second opinion or independent review from Codex (OpenAI) via the local Codex CLI. Use when the user wants Codex…
git:20260724.d54eafd · audit A · 7 stars
river-review-discipline SKILL.md skill
s977043/river-review · .claude/skills/river-review-discipline/SKILL.md · AI 駆動開発のレビュー品質を安定化させるレビュー規律。レビュー対象を分類し、要件・設計・差分・検証・報告を分けて見て、根拠に基づき approved / needs_revision / blocked / rejected…
git:20260707.9c35a5d · audit A · 7 stars
skill-creator SKILL.md skill
s977043/river-review · .claude/skills/skill-creator/SKILL.md · Design a new Claude Code skill from a concrete use case and produce a repo-ready skill package. Use when the user asks…
git:20261004.95d1f7a · audit A · 7 stars
skill-ops-planner SKILL.md skill
s977043/river-review · .claude/skills/skill-ops-planner/SKILL.md · Create an operating policy and roadmap for a live portfolio of Claude Code skills. Use when the user asks to organize…
git:20260321.857d5ca · audit A · 7 stars
skill-optimizer SKILL.md skill
s977043/river-review · .claude/skills/skill-optimizer/SKILL.md · Evaluate and improve an existing Claude Code skill using explicit success criteria and small controlled changes. Use…
git:20261004.95d1f7a · audit A · 7 stars
AGENTS.md@.codex AGENTS.md file
s977043/river-review · .codex/AGENTS.md
git:20260923.5650e78 · audit A · 7 stars
AGENTS.md AGENTS.md file
s977043/river-review · AGENTS.md
git:20261008.d74129b · audit B · 7 stars
CLAUDE.md CLAUDE.md file
s977043/river-review · CLAUDE.md
git:20261016.787c99c · audit A · 7 stars
Sample Architecture Consistency Review SKILL.md skill
s977043/river-review · examples/skills/architecture-sample/SKILL.md · Checks design/ADR docs for consistency and missing decisions.
v0.1.0 · audit A · 7 stars
Sample Code Quality Pass SKILL.md skill
s977043/river-review · examples/skills/code-quality-sample/SKILL.md · Checks common code quality and maintainability risks.
v0.1.0 · audit A · 7 stars
Sample Test Coverage Review SKILL.md skill
s977043/river-review · examples/skills/test-review-sample/SKILL.md · Evaluates downstream tests for coverage and edge cases.
v0.1.0 · audit A · 7 stars
adversarial-review SKILL.md skill
s977043/river-review · plugin-dist/river-review/skills/agent-skills/adversarial-review/SKILL.md · 敵対的分析手法を統合したレビューの entry skill。認知バイアス対策の3手法 (Pre-mortem / War Game / Logic Torturing)と、宣言・主張と実態の乖離を突く claim-vs-actual…
v0.1.0 · audit A · 7 stars

Every file in s977043/river-review

Other files named Type-Driven Design Guard

Type-Driven Design Guard SKILL.md skill
s977043/river-review · plugin-dist/river-review/skills/midstream/type-driven-design/SKILL.md · Detect primitive obsession and missing domain/brand types; check that state is modeled via discriminated unions.
v0.1.0 · audit A · 7 stars

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