Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
tutorial-records
tutorial-records contient 8 skills collectées depuis XS-MLVP, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
8
Stars
4
mis à jour
2026-06-06
Forks
0
Couverture métier
Développeurs de logicielsIngénieurs électroniques (sauf informatique)Analystes en assurance qualité des logiciels et testeurs
3 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
bug-report
Ingénieurs électroniques (sauf informatique)
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
2026-06-06
cex-gen
Ingénieurs électroniques (sauf informatique)
自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。
2026-06-06
func-spec
Développeurs de logiciels
提取和分析被测模块(DUT)的功能规格和形式化检测点
2026-06-06
sva-audit
Développeurs de logiciels
环境分析技能。Checker 已自动解析日志并生成骨架，LLM 仅需通过脚本填写分析详情。
2026-06-06
sva-gen
Développeurs de logiciels
在 YAML 中编写 SVA 属性检测代码
2026-06-06
sva-opt
Développeurs de logiciels
指导解释覆盖率报告并优化未覆盖死角的技能
2026-06-06
functions-and-checks
Analystes en assurance qualité des logiciels et testeurs
功能规格分析与测试点定义阶段及其子阶段专属技能,用于指导{DUT}_functions_and_checks.md的写入工作
2026-06-06
static-bug-analysis
Développeurs de logiciels
RTL源码静态Bug分析阶段专属技能,用于指导 static_bug_analysis.md 文件的编写以及格式规范
2026-06-06