Skill 资源库

AI Skill 资源库

把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。

personjakexiao无需 Key

rtl-property-inference

从Verilog/SystemVerilog RTL代码中自动推断形式化的正确性属性,并生成SystemVerilog断言(SVA)。识别控制流不变量(互斥、有效的就绪握手、流水线排序、安全性属性)、活跃性期望和时序属性。当处理需要形式化属性生成的RTL设计、向现有RTL添加断言,或用户要求从硬件设计中推断属性、生成断言或创建形式化规范时使用。

download17deployed_codestar62
personjakexiao无需 Key

vue-doctor

诊断并修复Vue/Nuxt代码库的健康问题。在审查Vue代码、解决性能问题、审核安全或提高代码质量时使用。

download17deployed_codestar1
personjakexiao无需 Key

pyats-security

网络安全审计 - 访问控制列表(ACLs)、AAA、控制平面策略、管理平面加固、加密、端口安全以及CIS基准检查

download17deployed_codestar301
personjakexiao无需 Key

unity-console

Unity控制台日志管理。当用户想要捕获、过滤或清除控制台日志时使用。触发词:console, log, warning, error, debug, print, Unity控制台, Unity日志, Unity错误.

download17deployed_codestar468
personjakexiao无需 Key

unity-script-roles

Unity脚本角色规划器。当用户希望在批量代码生成前决定哪些计划中的脚本应该是MonoBehaviour桥梁、ScriptableObject配置、纯C#服务、展示器、状态或安装器时使用。触发词:脚本职责, 类职责, MonoBehaviour或ScriptableObject, 服务类, 展示器, 安装器。

download17deployed_codestar468
personjakexiao无需 Key

jb-worktree

使用wtp CLI管理Git工作树。在创建独立分支工作树、切换工作树、为每个工作树进行初始化设置或清理已合并的分支时使用。

download17deployed_codestar0
personjakexiao无需 Key

vendor-review

评估供应商——成本分析、风险评估和建议。在审查新的供应商提案、决定是否续签或更换合同、并排比较两个供应商,或在采购签字前构建总拥有成本(TCO)细分和谈判要点时使用。

download17deployed_codestar9K
personjakexiao无需 Key

logging

实作结构化日誌,包含正确的日誌层级和敏感数据处理。 使用时机:新增日誌、除錯、设置可觀测性。 关鍵字:logging, log level, structured logging, observability, 日誌, 记录, 结构化日誌。

download17deployed_codestar46
personjakexiao无需 Key

HALCON-skill

生成、重构、运行和审查HALCON HDevelop(.hdev)和HDevelopEVO(.hscript)程序,确保操作符使用准确、参数默认值正确、数值范围合理以及视觉流水线实用。当用户请求HDevelop或HScript代码、选择操作符、调试逻辑、将需求转换为视觉脚本或构建可重用过程时使用。

download17deployed_codestar7
personjakexiao无需 Key

unity-cleaner

项目清理工具。当用户想要查找未使用的资源、重复文件或清理项目时使用。触发词:未使用, 重复, 清理, 优化, 死代码, 孤立, Unity清理, Unity未使用, 重复文件.

download17deployed_codestar468
personjakexiao无需 Key

unity-testability

Unity测试性顾问。当用户希望提高测试性、将纯逻辑与Unity API隔离开来、决定哪些内容应属于编辑模式或播放模式测试,或者减少难以测试的MonoBehaviour逻辑时使用。触发词:testability, unit test, editmode, playmode, isolate logic, 测试性, 单元测试.

download17deployed_codestar468
personjakexiao无需 Key

convex-audit

审核一个Convex支持的代码库,检查模式质量、安全性、运行时边界、迁移以及功能表面风险。当用户请求进行Convex审查、后端审计、合约分析或修复计划时使用。不要用于新功能规格生成;为此应使用convex-feature-spec。

download17deployed_codestar2
personjakexiao无需 Key

binary-analysis-patterns

掌握二进制分析模式,包括反汇编、反编译、控制流分析和代码模式识别。在分析可执行文件、理解编译后的代码或执行...时使用。

download17deployed_codestar3
personjakexiao无需 Key

requirement-coverage-checker

验证设计文档、代码实现和测试是否完全覆盖所有指定的需求。在验证需求可追溯性、进行设计审查、评估实施完整性、检查针对需求的测试覆盖率、执行合规性审核或识别缺失的功能时使用此技能。生成覆盖报告,显示哪些需求已满足、部分满足或缺失。

download17deployed_codestar62
personjakexiao无需 Key

paper-reviewer

全面的提交前审查协调器。协调期刊提交的方法检查、偏见检测、AI文本检测、统计验证和报告指南合规性。

download17deployed_codestar0
personjakexiao无需 Key

unity-asmdef

Unity项目的程序集定义顾问。当用户希望获得更好的模块边界、更快的迭代速度、更清晰的依赖关系,或者编辑器/运行时/测试程序集分离时使用。触发条件:asmdef, assembly definition, 模块边界, 编译时间, 依赖图, 程序集定义, 模块边界.

download17deployed_codestar468
personjakexiao无需 Key

unity-profiler

性能分析。当用户想要获取FPS、内存使用情况或性能统计数据时使用。触发词:profiler, performance, FPS, memory, stats, benchmark, Unity性能, Unity帧率, Unity内存。

download17deployed_codestar468
personjakexiao无需 Key

unity-scene-contracts

用于Unity的场景组合契约顾问。当用户想要定义所需的场景对象、组件依赖、启动场景对象、引用连线和验证规则,以使场景保持明确且可维护时使用。触发词:场景契约, 场景装配, 必要引用, 场景连线, 安装器对象, 启动场景。

download17deployed_codestar468
personjakexiao无需 Key

api-testing-observability-api-mock

您是一位API模拟专家,专门从事开发、测试和演示用的逼真模拟服务。设计能够模拟真实API行为并支持并行开发的模拟程序。

download17deployed_codestar2
personjakexiao无需 Key

constant-time-analysis

检测加密代码中的时间侧信道漏洞。在实现或审查加密代码时使用,遇到对密钥进行除法运算、依赖于密钥的分支或常数时间编程问题时,在C、C++、Go、Rust、Swift、Java、Kotlin、C#、PHP等语言中适用。

download17deployed_codestar3