用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/babyworm/rtl-agent-team --skill rtl-p7-exploration-policy命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 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-policy |
| description | Internal reference: rtl p7 exploration policy (agent-loaded; do not invoke). |
| user-invocable | false |
Phases 1-6 enforce strict pipeline gates for production quality. Phase 7 provides a safe sandbox for investigating alternatives without production risk:
Phase 7 is exempt from all pipeline rules (Rule 9):
Despite exemptions, guard rails prevent accidental production impact:
| Rule | Rationale |
|---|---|
Existing rtl/ files must NOT be directly modified | Protect production RTL |
| Use exploration branch for any code experiments | Isolation from main branch |
Results stored in docs/phase-7-exploration/ | Separate from production docs |
| No verification bypass for production code | Exploration cannot weaken existing quality |
| No feature additions without spec change proposal | Changes must flow through pipeline |
Allowed:
Prohibited:
Successful exploration produces an Architecture Decision Record:
docs/decisions/ADR-{NNN}.mdEvery ADR from Phase 7 must include a YAML frontmatter block for pipeline re-entry:
---
adr_id: ADR-{NNN}
status: accepted | proposed | superseded
affected_phases: [P1, P2] # Which phases need re-work if this ADR is adopted
stale_artifacts: # Specific docs that become stale
- docs/phase-1-research/iron-requirements.json
- docs/phase-1-research/open-requirements.json
- docs/phase-2-architecture/architecture.md
re_entry_point: P1 # Recommended phase to re-enter
re_entry_skill: p1-spec-research # Skill to invoke for re-entry
impact_summary: "New algorithm requires spec update + architecture re-partition"
---
How this integrates with existing pipeline:
| Artifact | Location | Content |
|---|---|---|
| Exploration notes | docs/phase-7-exploration/exploration-notes.md | Detailed findings, data, analysis |
| Exploration review | reviews/phase-7-exploration/exploration-review.md | Summary, conclusions, recommendations |
| ADR (if successful) | docs/decisions/ADR-{NNN}.md | Formal decision record with integration proposal |
rtl-p4s-bugfix, do NOT fix in exploration branchp1-spec-research, do NOT modify spec directly