Menu
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
A direct command skips the review prompt. Inspect the source before running it.
npx skills add https://github.com/XS-MLVP/UCAgent --skill bug-reportThe command stays on one line. Scroll horizontally to inspect it before copying.
Prefer a local copy? Download the files currently available to SkillsMP.
UCAgent是基于大语言模型的自动化任务执行AI代理，支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法，帮助用户快速创建、验证和运行各类任务工作流。
为正确失败测试确认的动态DUT Bug优先确定性维护BG、TC、ROOT和波形引用；支持幂等重复调用、受控格式恢复与跨阶段累计。
分批测试用例实现与对应Bug分析阶段专属技能，用于依据测试模板注释、功能规格CK原文和覆盖约束实现针对性激励与断言，并完成测试执行、动态Bug分析和报告记录
Showing SKILL.md
| name | bug-report |
| description | 从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。 |
Markdown 排版契约：本技能生成、维护或展示的任何 Markdown 中，每个 # 到 ###### 标题前后各保留一个空行；标题前置空行没有例外：文件开头的标题、Markdown 示例围栏内首个标题和 <a id="..."></a> 锚点后的目标标题都必须有前置空行。标题前不得直接连接正文、列表、表格、下一级标题、代码围栏或锚点；字段标题后的规范机器标记（例如 <BUG-*>、<ROOT-*> 和 <RELATED-BUGS>）可以继续与标题紧邻。
本技能指导如何从验证分析中提取 RTL Bug 并通过 脚本 将报告写入 .formal_records.yaml。
本阶段的唯一事实来源是 .formal_records.yaml.bugs。
文档格式与归因方法参见
Guide_Doc/bug_report.md
执行说明：
RunSkillScript 调用技能脚本python3 环境具备所有依赖04_{DUT}_bug_report.md 是派生产物，不要直接编辑Bug 骨架由 Checker 根据 .formal_records.yaml.analysis.fa_entries 中标记为 RTL_BUG 的属性自动生成。
你不需要手动运行初始化脚本。
python3 .ucagent/skills/formal/bug-report/scripts/update_bug.py -action show
禁止直接编辑 YAML，使用 RunSkillScript 调用脚本：
python3 .ucagent/skills/formal/bug-report/scripts/update_bug.py \
-id BG-FORMAL-001 \
-fg_id FG-ARITHMETIC \
-fc_id FC-ADD-BASIC \
-rtl_file Adder/Adder.v \
-rtl_line 10 \
-description "sum 位宽错误导致加法结果不完整" \
-root_cause "output [WIDTH-2:0] sum 位宽参数错误" \
-trigger "当 a + b + cin >= 2^63 时触发" \
-expected "sum[63:0] 输出完整的 64 位加法结果" \
-actual "sum[62:0] 仅输出 63 位" \
-fix "将 Adder.v 第 10 行改为 output [WIDTH-1:0] sum" \
-severity HIGH \
-confidence HIGH
severity 枚举值： HIGH / MEDIUM / LOW
confidence 枚举值： HIGH / MEDIUM / LOW
Checker 验证所有字段已填写（非 [LLM-TODO]），通过后自动重建 04_{DUT}_bug_report.md。
RTL_BUG 属性都必须有对应的 bug 条目bugs 设为空数组 []fg_id、fc_id 必须来自 spec 中的标签