メニュー
Phase 7: free exploration of algorithm alternatives and optimization experiments, exempt from pipeline rules. Triggers: 'explore', 'Phase 7'.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/babyworm/rtl-agent-team --skill rtl-p7-explorationコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
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'.
SOC 職業分類に基づく
SKILL.md を表示中
| name | rtl-p7-exploration |
| description | Phase 7: free exploration of algorithm alternatives and optimization experiments, exempt from pipeline rules. Triggers: 'explore', 'Phase 7'. |
| user-invocable | true |
| argument-hint | [exploration topic] |
| allowed-tools | Bash, Read, Write, Edit, Task, Grep, Glob |
<Use_When>
<Do_Not_Use_When>
Phase 6 completion is recommended but NOT required. Phase 7 is exempt from pipeline rules (Rule 9) — free exploration allowed.
Task(subagent_type="rtl-agent-team:p7-exploration-orchestrator", prompt="Execute Phase 7 exploration. User input: $ARGUMENTS")
Do not perform any work directly. The orchestrator manages guard rails, exploration agent dispatch, ADR creation, and result documentation.
