Manus에서 모든 스킬 실행
원클릭으로
원클릭으로
원클릭으로 Manus에서 모든 스킬 실행
시작하기GitHub 저장소
tutorial-records
tutorial-records에는 XS-MLVP에서 수집한 skills 8개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.
수집된 skills
8
Stars
4
업데이트
2026-06-06
Forks
0
직업 범위
직업 카테고리 3개 · 100% 분류됨
저장소 탐색
이 저장소의 skills
제작자/저장소/skill
skill
직업 분류
설명
업데이트
bug-report
전자 엔지니어(컴퓨터 제외)
从 analysis 中提取 RTL_BUG 属性,LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
2026-06-06
cex-gen
전자 엔지니어(컴퓨터 제외)
自动解析环境分析文档和 wrapper.sv,为每个 RTL_BUG 生成 Python 测试函数框架,LLM 填写引脚驱动和断言逻辑。
2026-06-06
func-spec
소프트웨어 개발자
提取和分析被测模块(DUT)的功能规格和形式化检测点
2026-06-06
sva-audit
소프트웨어 개발자
环境分析技能。Checker 已自动解析日志并生成骨架,LLM 仅需通过脚本填写分析详情。
2026-06-06
sva-gen
소프트웨어 개발자
在 YAML 中编写 SVA 属性检测代码
2026-06-06
sva-opt
소프트웨어 개발자
指导解释覆盖率报告并优化未覆盖死角的技能
2026-06-06
functions-and-checks
소프트웨어 품질 보증 분석가·테스터
功能规格分析与测试点定义阶段及其子阶段专属技能,用于指导{DUT}_functions_and_checks.md的写入工作
2026-06-06
static-bug-analysis
소프트웨어 개발자
RTL源码静态Bug分析阶段专属技能,用于指导 static_bug_analysis.md 文件的编写以及格式规范
2026-06-06