メニュー
Internal support skill for formal verification workspaces. This folder carries shared Python helpers and templates used by other formal skills and is not intended for direct user invocation.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/XS-MLVP/UCAgent --skill formal-libコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
UCAgent是基于大语言模型的自动化任务执行AI代理，支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法，帮助用户快速创建、验证和运行各类任务工作流。
为正确失败测试确认的动态DUT Bug优先确定性维护BG、TC、ROOT和波形引用；支持幂等重复调用、受控格式恢复与跨阶段累计。
分批测试用例实现与对应Bug分析阶段专属技能，用于依据测试模板注释、功能规格CK原文和覆盖约束实现针对性激励与断言，并完成测试执行、动态Bug分析和报告记录
SKILL.md を表示中
| name | formal-lib |
| description | Internal support skill for formal verification workspaces. This folder carries shared Python helpers and templates used by other formal skills and is not intended for direct user invocation. |
Markdown formatting contract: every generated ATX heading (# through ######) is surrounded by a blank line. Every heading must have a preceding blank line, including the first line of a document or Markdown example and a heading after a machine anchor <a id="..."></a>. A paragraph, list, table, nested heading, opening/closing fence, or anchor must not directly precede a heading. Machine field markers may remain immediately after their field headings.
This is an internal packaging skill.
It exists so the workspace skill copy step includes this directory and makes the shared helpers under formal/lib/ available to the other formal skills.
Do not select this skill for standalone task execution unless you are specifically maintaining the shared formal helper library.
