本文へ移動
cccskills
無料GitHub で公開

cradle

Use when you need the current position in the Lean spec-driven pipeline, or any deterministic check of a Cradle project — status, golden regression, Lean layer walls, regeneration impact, unslop lint, ddd cleanup. Runs the scripts under scripts/ and reports their output verbatim.

インストール方法を見る

含まれるファイル(14)

  • SKILL.md4.0 KB
  • references/cradle-json.md3.3 KB
  • references/protocol.md10.6 KB
  • scripts/cradle.mjs10.0 KB
  • scripts/ddd-clean-check.mjs3.3 KB
  • scripts/golden-check.mjs12.2 KB
  • scripts/hook.mjs11.8 KB
  • scripts/lean-check.mjs20.1 KB
  • scripts/lib.mjs26.7 KB
  • scripts/regen-impact.mjs8.5 KB
  • scripts/schema.mjs10.4 KB
  • scripts/spec-query.mjs16.0 KB
  • scripts/status.mjs14.9 KB
  • scripts/unslop-lint.mjs18.2 KB

SKILL.md(原文)

インストールする前に、エージェントに与えられる指示の中身を確認できます。

cradle — 決定論的な道具の入口

すべて cradle <command>(このスキルの scripts/cradle.mjs。呼び方は cradle-core 規則のとおり、プロジェクトルートで実行)。 設定は cradle.json(references/cradle-json.md)。CLI プロトコルは references/protocol.md。

command何をするかいつ
statusパイプラインの現在地(フェーズごとの事実と次の一手)作業の最初。プロダクトオーナーに現在地を説明するとき
spec-query …Lean を動かして仕様に答える(spec-query スキル)仕様に関する問いすべて
golden-check [--update]golden を再生して突き合わせる(外部能力の golden は init / flow に加えて step の連鎖(chain)も再生し、応答の port / operation がモデルの Port にあることも見る)lake build が通ったあと、モデルを変えたとき
lean-check [--build]層の壁・sorry・axiom・生成器への言及Lean を編集したあと、コミット前
regen-impact [--dry-run]再生成 → 生成物の差分 → 参照する手書き実装と契約テスト → golden 回帰Lean を変えて backend に追随するとき
unslop [--diff|--all]コメント規約・腐ったパス・逃げ言葉・握りつぶし止まる前(Stop hook が error を差し戻す)
ddd-clean-check [--build] [--baseline <file>]探索の残骸(questions.md・naming.md・probe-・lean の差分。ddd.mjs end は .session を baseline に渡し、開始時点と比べる)が無いことddd スキルの終わり
doctorハーネスの置き場と hooks の配線、Codex の hooks の信頼、AGENTS.md の大きさ(Codex の上限)、道具の有無と版(node / lake / elan / java / pnpm / apm / claude / codex …)、lean2kotlin の解決可否(LEAN2KOTLIN_HOME)導入時、道具が見つからないと言われたとき、backend の着手前
doctor --locallocal スタックのコンテナ(cradle.json の infra.containers)の鮮度(Created と HEAD のコミット時刻)local を作り直す前、E2E の前

使い方の決めごと

  • 出力は要約せず、そのまま引用する。判断(意図した変化か・直すか)は出力を見てから書く。
  • golden-check で CHANGED が出たら、意図した変更だけを --update し、golden の差分を変更理由とともにコミットする。意図していない流れが変わっていたら、それがモデル変更の意図しない影響。
  • regen-impact は生成ディレクトリがクリーンな状態で回す(差分だけ読むなら --no-regen)。
  • どの道具も CRADLE_PROJECT_DIR でルートを指定できる(hook は Claude Code の CLAUDE_PROJECT_DIR、無ければ stdin の cwd から cradle.json を持つ祖先を探す)。
  • 道具が無いことを確かめる問い(「〜は存在するか」)は spec-query print と meta で確かめてから答える。

道具が落ちたとき

  • Lean CLI がありません → cd lean && lake build。
  • cradle.json に project が要ります → ルートに cradle.json を置く(cradle-init スキル)。
  • golden の request.json が無い → 5 cmd で採った golden なら --manifest で scenario / viewer / today を補うか、モックアップで採り直す。外部能力の経路(external)で採った golden は脇書き(版・環境・入力列)が無いと再生できず、manifest からも復元しない — モックアップで採り直す。脇書きの version が 1 でないものも同じ。

レビュー

まだレビューはありません。使ってみた感想をお寄せください。

同じリポジトリのスキル

概要と使いどころ

Use when adding or changing REST endpoints or the OpenAPI contract — deriving endpoints from the Lean commands and views, writing documents/codebase/openapi.yaml first, then regenerating the backend controller interfaces and the frontend client.

日本語の概要は準備中です。原文の説明を表示しています。

asuka1975/cradle42026年10月1日 更新

Use after a backend build succeeds or whenever authentication, authorization, actor/identity handling, external service calls (IdP, JWKS, DB, clock), logging, observability, configuration or error contracts are in play — delegates to the backend-design-reviewer agent for a design-quality review of the current branch.

日本語の概要は準備中です。原文の説明を表示しています。

asuka1975/cradle42026年10月1日 更新

Use when it is time to make the backend follow the Lean model — regenerate Kotlin from Lean, implement the generated interfaces (UseCase, QueryService, Repository, Entity), wire every generated contract test, make the build green, then run the design and SQL reviews. Backend comes after the human confirmed the screens.

日本語の概要は準備中です。原文の説明を表示しています。

asuka1975/cradle42026年10月1日 更新

Use to start a new product on Cradle or to add the Cradle skeleton to an existing repository — writes cradle.json, the project-facts instruction (.apm/instructions/project.instructions.md), documents/{ddd,ai-notes,infra-design,codebase} templates, CI, and a compiling Lean executable-spec scaffold with a minimal example domain, mockup and CLI.

日本語の概要は準備中です。原文の説明を表示しています。

asuka1975/cradle42026年10月1日 更新

Use when the product owner asks where the project stands, what to do next, or which phase of the Lean spec-driven pipeline is current — runs cradle status and proposes exactly one next step.

日本語の概要は準備中です。原文の説明を表示しています。

asuka1975/cradle42026年10月1日 更新

ddd

無料

Use to run or continue domain exploration with the product owner as domain expert — event storming interviews, hotspots (HS), ubiquitous language, UX review of the domain, checking or resolving open MQ/UX items, or a status summary of documents/ddd. Also use when the user starts explaining their business, purpose or workflow. Never edit documents/ddd directly; go through this skill.

日本語の概要は準備中です。原文の説明を表示しています。

asuka1975/cradle42026年10月1日 更新

asuka1975 のスキルをすべて見る

このスキルの問題を報告する