직업 분류
미분류
설명
UCAgent是基于大语言模型的自动化任务执行AI代理，支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法，帮助用户快速创建、验证和运行各类任务工作流。
원문 언어: 중국어
업데이트
XS-MLVP/UCAgent
SkillsMP는 XS-MLVP/UCAgent에서 20개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
- 최근 기록된 소스 활동
- SkillsMP 카탈로그 업데이트
- 수집된 skills
- 20
- GitHub 스타
- 219
- GitHub 포크
- 48
이 저장소의 skills
직업 카테고리 3개 · 25% 분류됨
수집된 skill 20개 중 20개를 표시합니다.
skill
직업 분류
설명
업데이트
직업 분류
미분류
설명
为正确失败测试确认的动态DUT Bug优先确定性维护BG、TC、ROOT和波形引用；支持幂等重复调用、受控格式恢复与跨阶段累计。
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
分批测试用例实现与对应Bug分析阶段专属技能，用于依据测试模板注释、功能规格CK原文和覆盖约束实现针对性激励与断言，并完成测试执行、动态Bug分析和报告记录
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
验证静态Bug候选并维护其与已完成动态Bug或BG-NA的LINK-BUG关联。
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
RTL源码静态Bug分析阶段专属技能,用于指导 static_bug_analysis.md 文件的编写以及格式规范
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
通过脚本把 DUT 基本信息写入 .formal_records.yaml 的 basic_info 字段，并由系统自动渲染 02 基本信息文档。
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
提取和分析被测模块(DUT)的功能规格和形式化检测点
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
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.
원문 언어: 영어
업데이트
직업 분류
미분류
설명
通过脚本把验证规划写入 .formal_records.yaml 的 planning 字段，并由系统自动渲染 01 规划文档。
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
通过脚本把最终总结写入 .formal_records.yaml 的 summary 字段，并由系统自动渲染 05 总结文档。
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
环境分析技能。Checker 已自动解析日志并生成骨架，LLM 仅需通过脚本填写分析详情。
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
创建测试用例模板阶段专属技能，用于生成正确的pytest参数签名、覆盖率标记和未实现占位断言，并依据STDERR区分模板错误与fixture、Mock、参考模型、依赖或配置错误
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
功能规格分析与测试点定义阶段及其子阶段专属技能,用于指导{DUT}_functions_and_checks.md的写入工作
원문 언어: 중국어
업데이트
직업 분류
미분류
설명
Mock组件设计、mock_dut fixture实现和Mock独立单元测试阶段专属技能；用于严格区分Mock测试的mock_dut参数与普通DUT测试的env/ref_model参数契约
원문 언어: 중국어
업데이트
직업 분류
건축 및 토목 제도사
설명
自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。
원문 언어: 중국어
업데이트
직업 분류
컴퓨터 하드웨어 엔지니어
설명
基于 basic_info.clock_reset 与 extra_config.tcl 渲染 wrapper/checker/formal.tcl。
원문 언어: 중국어
업데이트
직업 분류
컴퓨터 하드웨어 엔지니어
설명
在 YAML 中编写 SVA 属性检测代码
원문 언어: 중국어
업데이트
직업 분류
컴퓨터 하드웨어 엔지니어
설명
指导解释覆盖率报告并优化未覆盖死角的技能
원문 언어: 중국어
업데이트
직업 분류
소프트웨어 개발자
설명
Control a running UCAgent CMD API server from an AI agent or shell. Use when the user wants to connect to UCAgent, run CMD/PDB commands, inspect status, console, mission, tasks, tools, workspace files, interrupt execution, or call raw CMD API endpoints.
원문 언어: 영어
업데이트
수집된 skill 20개 중 20개를 표시합니다.