メニュー
Internal reference: rtl p4 rapid impl policy (agent-loaded; do not invoke).
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SOC 職業分類に基づく
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/babyworm/rtl-agent-team --skill rtl-p4-rapid-impl-policyコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
Initialize RTL project workspace: directory structure, coding rules, phase guides. Run once per project. Triggers: 'init project', 'new project'.
Internal reference: rtl p5 verify policy (agent-loaded; do not invoke).
P5 formal verification: SVA proof via SymbiYosys BMC/induction on lint-clean RTL. Triggers 'formal verification', 'prove property', 'SVA'.
| name | rtl-p4-rapid-impl-policy |
| description | Internal reference: rtl p4 rapid impl policy (agent-loaded; do not invoke). |
| user-invocable | false |
templates/p4-state.json initializes modules as an empty map.The 4 gates above (lint, CDC, smoke, block sanity) are a minimal subset of the full
10-Wave pipeline defined in rtl-p4-implement-policy. The rapid-mode orchestrator
intentionally skips Waves 4-5 (code review), Wave 8 (protocol), Wave 9 (refactoring),
and Stream B artifact generation. Use rtl-p4-implement for the full pipeline.