Use for the infrastructure design phase between domain exploration and Lean formalization — deriving non-functional requirements from the Lean model, deciding environments (test/local/prod), identity provider, the relational database's product, version and configuration (the storage kind is fixed to relational), ID representation, and the list of things NOT to build. Produces documents/infra-design with INFRA-D/A/Q entries.
インストールする前に、エージェントに与えられる指示の中身を確認できます。
入力は lean/ の実行可能仕様と documents/ddd/ の正式ドキュメントだけ。open の UX / MQ は根拠にしない。
成果物は documents/infra-design/（README + 01_model-to-infra + 02_local + 03_production + 04_operations）。実装（infra/）はインフラ実装フェーズ（infra-implement スキル。バックエンド追随の後）。
保存先は関係データベース（Cradle の前提。backend の規約・生成器・ktlint ルールがこれに依る）。インフラ設計で決めるのは製品・版・構成。
cradle status と cradle spec-query meta で、モデルにある集約・コマンド・内部入力（通知・契機）・外部能力の Port・画面・境界入力（名義・時計）を把握する。01_model-to-infra.md の問いに答える: 入口、直列化点（横断不変条件をどこで守るか）、時計、名義（誰が確定するか）、同一性の表現（連番か UUID か — NFR を根拠に）、作らないもの（モデルに裏付けの無いインフラの一覧）。lean-domain-model に渡す（ゆえに順序はインフラ設計 → Lean 化）。cradle status と git が持つ。投入表（README）だけは投入した事実として日付を持つ。まだレビューはありません。使ってみた感想をお寄せください。
概要と使いどころ
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.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。
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.
日本語の概要は準備中です。原文の説明を表示しています。