skill
métier
description
mis à jour
veriagent
Développeurs de logiciels
VeriAgent 是 Agentic-Verification 的外层监督 runtime。本技能说明如何编写外置 workflow、使用监督式 Codex SDK 官方路径、记录 benchmark manifest，以及开发兼容的 Checker/Tool。
2026-06-06
bug-report
Analystes en assurance qualité des logiciels et testeurs
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
2026-06-02
cex-gen
Analystes en assurance qualité des logiciels et testeurs
自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。
2026-06-02
func-spec
Analystes en assurance qualité des logiciels et testeurs
提取和分析被测模块(DUT)的功能规格和形式化检测点
2026-06-02
sva-audit
Analystes en assurance qualité des logiciels et testeurs
环境分析技能。Checker 已自动解析日志并生成骨架，LLM 仅需通过脚本填写分析详情。
2026-06-02
sva-gen
Analystes en assurance qualité des logiciels et testeurs
在 YAML 中编写 SVA 属性检测代码
2026-06-02
sva-opt
Analystes en assurance qualité des logiciels et testeurs
指导解释覆盖率报告并优化未覆盖死角的技能
2026-06-02
veriagent-client
Développeurs de logiciels
Control a running VeriAgent CMD API server from an AI agent or shell. Use when the user wants to connect to VeriAgent, run CMD/PDB commands, inspect status, console, mission, tasks, tools, workspace files, interrupt execution, or call raw CMD API endpoints.
2026-06-02