- 📄 SKILL.md
lean
构建并检查 Lean 4 证明。触发器:“精益构建”、“检查证明”、“精益运行”、“验证证明”、“精益”。
构建并检查 Lean 4 证明。触发器:“精益构建”、“检查证明”、“精益运行”、“验证证明”、“精益”。
当用户要求“检查 CLI 架构”、“同步 CLI 版本”、“检查新的 CLI 选项”、“更新捆绑的 CLI”、“比较 SDK 结构”、“检查架构漂移”、“对齐消息结构”、“验证 CLI 兼容性”、“检查控制协议”,或提到 CLI 兼容性、架构对齐,或希望确保 SDK 与当前 Claude CLI 匹配时,应使用此技能。将模式检查、选项验证、控制协议覆盖范围和版本管理整合到单个工作流程中。
当用户提到 Unraid、要求检查服务器运行状况、监控阵列或磁盘状态、列出或重新启动 Docker 容器、启动或停止 VM、读取系统日志、检查奇偶校验状态、查看通知、管理 API 密钥、配置 rclone 遥控器、检查 UPS 或电源状态、获取实时 CPU 或内存数据、强制停止 VM、检查磁盘温度或在 Unraid NAS 服务器上执行任何操作时,应使用此技能。当用户需要设置或配置 Unraid MCP 凭据时也可使用。
使用 illustrator-mcp 工具对 Adobe Illustrator 文档运行全面的印前印前检查。检测打印关键问题(CMYK 中的 RGB、断开的链接、低分辨率图像、白色叠印、未轮廓的文本)、文本一致性问题(虚拟文本、符号变化)以及 PDF/X 合规性。当用户要求在打印、提交或移交之前检查文档时使用 - 或提及“印前检查”、“印前检查”、“打印检查”、“提交检查”。
Use when the user asks to review code, check for issues, or says "review", "审查", "检查代码
根据 Figma 文件和代码 (HTML/CSS/React/Vue/Tailwind) 的 18 条专业规则审核设计。自动检测框架,运行特定于类别的代码超级功能(咏叹调、焦点、对比度、令牌、响应式、运动、表单、导航、间距),审核暗模式和道德设计问题,在代码差异之前/之后输出,并生成结构化的开发人员移交报告。 触发条件:检查我的设计、审查我的 UI、审核我的布局、是否可访问、设计审查、排版检查、色彩对比、WCAG、a11y、像素完美、UI 批评、Figma 审核、CSS 检查、审查此组件、这看起来不错吗、深色图案、道德设计、是否符合 GDPR、检查我的入门、检查我的结帐、这是可操作的、这里有任何深色图案、检查我的登陆页面、我的 UI 是否可访问、检查我的设计系统,是这样吗?道德,我的表单是否可访问,检查我的导航,我的黑暗模式是否正确,这是否响应,检查我的空状态,检查我的错误状态。
检查辅助功能合规性 (WCAG)。
检查您的 InboxAPI 电子邮件收件箱并显示最近消息的摘要。当用户想要查看电子邮件、检查邮件或查看收件箱时使用。
每当任务可以从中受益时,主动提醒 Claude Code 用户有关可用的相关工具。始终在 Claude Code 中的每个响应开始时使用此技能来检查是否有任何已安装的技能、连接的 MCP 服务器或内置工具与当前任务相关,如果是,则显示一个简短的内嵌提示。触发任何实质性的用户请求:文件操作、编码、文档创建、网络研究、数据工作、图像生成、API 调用或任何多步骤任务。当 MCP/技能能够显着改善结果时,还建议卸载它们。不要跳过此检查 - 即使任务看起来很简单,快速扫描也需要一秒钟,并且可能会为用户节省大量精力。 --- # 工具顾问技能 通过在正确的时刻短暂且不中断流程地显示相关工具,帮助用户充分利用其 Claude 代码环境。 ## 您的工作 在开始处理任何实质性任务时,进行快速心理扫描: 1. **检查已安装的技能** — 查看系统提示中的 `available_skills` 2. **检查连接的 MCP** — 查看您上下文中的 MCP 服务器列表 3. **检查内置工具** — bash、文件读/写、网络搜索、图像生成等。 4. **考虑卸载的工具** — 如果众所周知的 MCP 或技能有意义帮助,提及它如果发现任何相关的**尚未使用**,请在您的回复中添加💡提示。 --- ## 何时提示 当任务与用户可能没有想到的工具之间存在**特定的、可操作的匹配**时进行提示。不要为每一个回复都付小费——只有当它增加价值时才给小费。 |任务类型 |需要检查的潜在相关工具 | |---|---| |创建/编辑 Word 文档 | \`docx\` 技能 | |处理 PDF | \`pdf\` 技能、\`pdf 阅读\` 技能 | |建筑演示 | \`pptx\` 技能 | |电子表格/数据工作| \`xlsx\`技能 | |读取上传的文件 | \`文件读取\`技能 | |网络研究/时事| \`web_search\` 工具,浏览器 MCP | |代码执行/脚本编写| \
用于 AI 代理工作流程的 Git 工作树管理器。每当用户提到工作树、想要单独处理分支、检查 PR、运行并行任务、管理堆叠的 PR 或同步分支时,请使用此技能。当项目使用 willow 时也会触发(查找 ~/.willow 目录、shell 历史记录中的 ww 命令或 willow.json 配置)。这项技能对于任何分支切换、PR checkout 或并行开发工作流程都是必不可少的 - 使用它而不是原始 git checkout/branch 命令。
对代理集合运行技能设计合规性验证。当用户要求执行以下操作时使用: - “检查技能合规性”/“验证技能设计”/“运行合规性检查” - “验证我的技能是否遵循设计原则” - 在提交技能更改之前 针对 SKILL_DESIGN_PRINCIPLES.md 运行 validate_skill_design.py 脚本。 --- # 技能设计合规性检查器 对此代理集合存储库中的技能运行编程合规性检查。 ## 何时使用此技能
skill-sample/ ├─ SKILL.md ⭐ 必备:技能说明入口:用途 / 安装 / 用法 / 示例 / 依赖 ├─ manifest.sample.json ⭐ 推荐:机器可读元信息:用于索引 / 校验 / 自动填表 ├─ LICENSE.sample ⭐ 推荐:授权与使用范围:开源 / 限制 / 商用说明 ├─ scripts/ │ └─ example-run.py ✅ 可运行示例脚本:让用户导入后立刻验证“能用” ├─ assets/ │ ├─ example-formatting-guide.md 🧩 输出规范:统一排版 / 结构 / 风格 │ └─ example-template.tex 🧩 模板资源:报告/文档模板,快速生成标准产物 └─ references/ 🧩 参考资料库:方法论 / 结构指南 / 最佳实践 ├─ example-ref-structure.md 🧩 结构参考:章节框架 / 目录组织 ├─ example-ref-analysis.md 🧩 分析参考:常用套路 / 指标口径 └─ example-ref-visuals.md 🧩 视觉参考:图表规范 / 可视化建议
更多 Agent Skills 规范 详见Anthropic官方文档:https://agentskills.io/home
├─ ⭐ 必备:YAML Frontmatter(必须存在,放在文件最顶部) │ ├─ ⭐ name :技能唯一名;须符合命名规则,并建议与目录名一致 │ └─ ⭐ description :技能描述;建议包含触发关键词(便于检索/匹配) │ ├─ ✅ 可选:Frontmatter 扩展字段(规范允许,但非强制) │ ├─ ✅ license :许可证标识(也可配合单独 LICENSE 文件) │ ├─ ✅ compatibility :兼容性/运行环境要求(仅在确实有限制时写) │ ├─ ✅ metadata :任意键值对(如 author/version/source_url 等) │ └─ 🧩 allowed-tools :允许工具白名单(规范标注为 experimental) │ └─ ✅ 推荐:Markdown 正文(自由格式,但建议按“渐进式披露”组织) ├─ ✅ Overview / Purpose :一句话说明目标 + 不做什么(边界) ├─ ✅ When to use :触发条件/适用场景(让模型/用户知道何时调用) ├─ ✅ Step-by-step :步骤化流程(最好 3–6 步,保证可复现) ├─ ✅ Inputs / Outputs :输入格式、输出格式、产物位置(文件/文本/JSON等) ├─ ✅ Examples :至少 1 个可复制示例(越“能跑”越好) ├─ 🧩 Files & References :引用assets/、references/、scripts/(相对路径) ├─ 🧩 Edge cases :边界情况/限制(大文件、速率限制、失败回退) ├─ 🧩 Troubleshooting :常见错误与解决(依赖缺失、路径不对、权限问题) └─ 🧩 Safety notes :涉及联网/写文件/执行命令时给出提醒(建议写)
在 GitHub 和各类社区里,技能文件分散、难检索、也难判断是否可靠。SkillWink 把开源技能集中整理成可搜索、可筛选、可直接下载使用的技能库,让你更快找到“正好能用”的那一个。并且支持在SkillWink上直接上传skills。
我们提供 AI 语义搜索 + 关键字检索,支持 版本更新与多维排序(下载/点赞/评论/更新),并为每个技能提供 SKILL.md 开放标准与来源信息。你还可以在详情页直接 评论讨论、交流用法与改进建议。
快速上手:
支持下载与导入 skills(.zip/.skill),本地放置后即可生效:
~/.claude/skills/(Claude Code)
~/.codex/skills/(Codex CLI)
~/.gemini/skills/(Gemini CLI)
同一份 SKILL.md 跨平台通用。
你需要了解的:技能是什么、怎么运行的、怎么找、怎么导入、怎么判断可信、怎么参与共建。
这里的“skills(技能)”是一种可复用的任务能力包,通常包含 SKILL.md 说明(用途、输入输出、使用方法)以及可选的脚本/模板/示例文件。
你可以把它理解为:给 AI 助手或工具链用的“插件说明书 + 资源包”,可被反复安装与分享。
技能系统采用“渐进式披露”策略,高效管理上下文信息,具体流程如下:
发现阶段:系统启动时,智能体仅加载各技能的名称与简要描述——信息精简,足以判断其适用场景,避免冗余加载。
激活阶段:当任务需求与某技能描述匹配时,智能体才将对应的完整 SKILL.md 说明文档动态载入上下文。
执行阶段:智能体严格遵循文档指引执行操作,并按需调用关联文件或运行内置代码模块。
核心优势:该设计使智能体始终保持轻量高效,同时具备“按需扩展上下文”的能力,既保障响应速度,又确保复杂任务拥有充分执行依据。
推荐 3 种方式组合使用:
注:以上导入方式文件大小控制在10M之内。
常见路径如下(不同系统略有差异,以你本机为准):
同一份 SKILL.md 通常可以跨工具复用。你在 SkillWink 导入后,也可以查看“放置指引/安装说明”。
可以。很多技能本质是标准化说明 + 资源,只要目标工具支持读取该格式,就能共享使用。
比如:检索类技能 + 写作类技能 + 自动化脚本,形成“发现 → 处理 → 输出”的工作流。
一部分skills来源于公开的 GitHub 仓库。我们会筛掉低质量仓库(至少 2 星),并扫描基本质量指标,还有一部分是SkillWink平台的创作者独立上传的。作为使用者,在安装前应始终审查代码,对安全问题负责。
最常见原因是这几类:
我们会尽量避免。你可以用 排序 + 评论 让“好用的”更靠前: