Skills
收录 98,284 个为 Agent 打包的专项能力与操作指引，复制一行命令即可安装。
开发
通过并排对两个版本进行半形式化追踪，比较两个代码版本在语义上是否等价。当用户分享重构、重写、迁移或 A/B 实现并想确认行为未改变时触发——“did I break anything”、“is this equivalent”、“are these equivalent”、“semantically equivalent”、“are these two implementations semantically equivalent”、“check my refactor”、“same behavior after the change?”、“does my rewrite produce the same output”、“switched from X to Y — same results?”。SCOPE HARD RULE：需要两个代码版本（A 和 B）。用于查找 bug 的单一版本使用 logic-review；一个版本加一个失败测试使用 logic-locate；解释一段代码做什么使用 logic-explain；代码库审计使用 logic-health。以下情况不要触发：单一版本审查、性能比较、设计质量比较或“哪个写得更好”的问题。
在 MATLAB 与 PX4/ArduPilot 自驾仪之间建立 MAVLink 连接。在通过 UDP 上的 MAVLink 协议连接无人机、飞控或自驾仪时使用。涵盖方言设置、UDP 传输、基于定时器的心跳和客户端发现。使用场景：“connect to PX4”、“MAVLink connection”、“heartbeat”、“ground control station”、“GCS”、“connect to ArduPilot”、“drone communication”、“mavlinkio”、“SITL”。
.NET MAUI 视图动画、自定义动画、缓动函数、旋转、缩放、平移和淡入淡出效果。适用于："animate view"、"fade in"、"fade out"、"slide animation"、"scale animation"、"rotate view"、"translate view"、"easing function"、"custom animation"、"animation chaining"、"ViewExtensions animation"。不适用于：手势识别（请用 maui-gestures）、自定义绘制（请用 maui-graphics-drawing）或静态布局变更（请用 maui-data-binding）。
集成 Modellix 的统一 API，用于 AI 图像、视频和音频工作流。当用户想要生成或编辑图像、创建或转换视频、合成语音、转写音频、克隆声音、进行虚拟试穿，或调用任何 Modellix 模型 API 时，请使用此技能。当用户提到 Modellix、用于媒体生成的 model-as-a-service，或通过统一 API 提供的 Qwen、Wan、Seedream、Seedance、Kling、Hailuo、MiniMax、Whisper、CosyVoice 等提供商，或询问 Modellix 模型的请求 schema、OpenAPI 契约或必需输入字段时，也应触发。只要 CLI 可用，优先使用 modellix-cli（model get-schema、model run --wait、task download、doctor、model list），而不是手写的 REST 轮询。
编写、审查、调试并讲解 OCaml 代码和 dune 项目。只要用户提到 OCaml、.ml/.mli 文件、dune、dune-project、opam、Alcotest、qcheck、shrinking、counterexamples、基于属性的测试、变异测试、用 OCaml 编写的 kata 或练习，或要求将 JS/TS/PHP 逻辑转换为 OCaml，就使用此技能。即使用户只是粘贴带编译器错误的 OCaml 代码并问“这里有什么问题”，要求设置新的 dune 项目，或询问如何用 OCaml 惯用方式实现其已熟悉的 JS/TS 做法，也应触发。用户是经验丰富的 JS/TS/PHP 开发者，但是真正的 OCaml 初学者——讲解应假设其通用编程能力很强、对 OCaml 专有知识为零，切勿反过来。对于 F#、ReasonML/ReScript、Standard ML 或其他 ML 系列语言，不要使用此技能，除非用户明确在将它们与 OCaml 比较。
运行本地代码质量检查，覆盖 OpenHarmony 门禁 CI 的一个子集（copyright、CodeArts C/C++），外加其他本地检查（pylint/flake8、shellcheck/bashate、gn format）。在提交前使用以减少门禁失败。触发于：/oh-precommit-codecheck、"门禁检查"、"门禁预检"、"检查代码"、"run codecheck"、"check code quality"、"lint my code"、"代码检查"，或完成代码实现之后。何时使用：git commit 前、创建 PR 前、修改 C/C++/Python/Shell/GN 文件后、门禁 CI 因 codecheck 缺陷失败时，或想预览门禁会标记什么时。
在 NVIDIA 硬件上加速科学计算 Python，并验证结果正确且速度更快。适用于 CUDA/GPU 优化；受 CPU 限制的 NumPy、SciPy、pandas、scikit-learn、NetworkX、scikit-image、向量搜索、图像处理、图、仿真或文件 I/O 工作负载；CuPy、cuDF、cuML、cuGraph、cuVS、cuCIM、KvikIO、Warp、Newton、Numba-CUDA 或 RAFT 相关问题；以及分析性能、内存传输、内核或多 GPU 瓶颈。大规模数据并行 Python 代码运行缓慢且 GPU 加速可能适用时，即使用户未提及 CUDA，也使用此技能。
使用 PyTorch 原生 scaled_dot_product_attention（PyTorch 2.2+）或 flash-attn 库，为 Transformer 模型启用 Flash Attention，包括多查询注意力、滑动窗口注意力，以及 H100 上的 FP8（FlashAttention-3）。涵盖性能提升分析、与基线准确度对比，以及安装和 GPU 支持错误的排查。适用于训练或运行长序列（超过 512 个词元）的 Transformer、标准注意力耗尽 GPU 显存、注意力成为推理瓶颈、将 PyTorch 模型切换到 flash 后端，或在 H100 GPU 上调优注意力。不适用于 CPU 推理、V100 GPU 或少于 256 个词元的序列；其他注意力变体可考虑 xFormers。
使用并基于 Pi（精简的终端编码工具框架）进行开发。适用于安装 Pi，配置提供方、模型、设置和环境变量；创建 Pi 技能、扩展、包、主题和提示词模板；通过 SDK 嵌入 Pi；通过 RPC 或 JSON 事件流集成；解析会话；通过 llama.cpp 路由器运行本地模型；开发自定义 Pi 提供方和 TUI 组件；或使用生态包，如 pi-subagents（委派/编排）、pi-mcp-adapter（MCP 服务）、pi-interview（交互式表单）和 pi-web-access（网页搜索、抓取、视频理解）。
帮助用户集成 Portaly 数字产品结账 —— 列出创作者的数字产品，让买家通过 Portaly 托管结账页购买单个商品或自定义组合，并支持带签名的 webhook 回调。还涵盖测试模式 —— 使用哪张测试卡，以及为什么测试购买不会发送邮件也不会出现在任何收入数据中。当用户提到 Portaly 数字产品、通过自己站点售卖由 Portaly 支持 的课程/下载/模板、构建 "powered by Portaly" 店铺、Portaly 产品的组合定价、发布或取消发布 Portaly 产品（从自己站点下架），或正在排查 Portaly 测试支付、测试卡、沙盒订单或缺失的订单确认邮件时触发。
使用 pymoo 在 Python 中求解单目标和多目标优化问题，支持 NSGA-II、NSGA-III、MOEA/D、SPEA2、RVEA、GA、DE 和 PSO。涵盖自定义问题（Problem、ElementwiseProblem、FunctionalProblem）、约束处理、混合变量问题、ZDT/DTLZ/WFG 基准测试、遗传算子、并行评估、Pareto 前沿可视化和多准则决策。适用于寻找相互冲突目标之间的 Pareto 最优权衡；定义有约束或混合变量的问题并选择进化算法；在标准测试问题上评估算法；自定义交叉或变异算子；或从 Pareto 前沿中选取一个解。不适用于基于梯度或凸优化的求解器。
软件逆向核心网关（公共底座）。编排：初勘 → 格式解析 → 反编译 → 调试/跟踪 → 内存。 子技能：[[re-address-space]] [[re-triage]] [[re-format-pe]] [[re-format-elf]] [[re-format-macho]] [[re-imports]] [[re-ghidra]] [[re-ida]] [[re-radare2]] [[re-gdb]] [[re-x64dbg]] [[re-lldb]] [[re-tracing]] [[re-memdump]] [[re-windbg]] [[re-binaryninja]] [[re-emulation]] [[re-shellcode]] [[re-kernel]] [[re-game]] [[re-go]] [[re-rust]] [[re-plugin-dev]] [[re-hypervisor]] [[re-anti-cheat]]、[[re-cpp-abi]]、[[re-swift]]、[[re-zig]]、 [[re-nim]]、[[re-fp-runtime]]、[[re-variant]]、[[re-mips]]、[[re-arm]]、[[re-riscv]]。 触发词：静态分析、看这个程序的逻辑、反编译、逆向这个二进制、binary analysis。
一个开放协议，规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话，MCP 服务负责提供工具、资源和提示模板，两者通过标准消息通信，同一个服务可以被不同客户端复用。