用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/XS-MLVP/UCAgent --skill cex-gen命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
正在显示 SKILL.md
| name | cex-gen |
| description | 自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。 |
自动化生成 {OUT}/tests/test_{DUT}_counterexample.py，每个 RTL_BUG 对应一个测试函数框架（含 DUT 初始化、复位序列），LLM 只需在 [LLM-TODO] 处填写引脚驱动和断言。
执行说明：
RunSkillScript 调用技能脚本python3 环境具备所有依赖使用 RunSkillScript 工具执行以下命令生成测试文件骨架：
python3 .ucagent/skills/formal/cex-gen/scripts/init_test_file.py
工具会自动从分析文档提取 RTL_BUG，从 wrapper.sv 识别时钟/复位端口，生成完整测试文件框架。
对于每个测试函数中的 [LLM-TODO]：读取 avis.log 反例信息 + RTL 源码，填写引脚驱动和 assert 断言。
dut.Finish()基于 SOC 职业分类
