Skills
收录 97,501 个为 Agent 打包的专项能力与操作指引,复制一行命令即可安装。
测试与质量
阻止你的 AI 胡编乱造。当你的 AI 产生幻觉、捏造事实、未基于真实数据、不引用来源、提出无依据的论断,或你需要依据源材料核实 AI 回复时使用。也适用于你的 LLM 编造事实、回复与输入脱节,或输出未基于源文档的情况。涵盖引用强制、忠实度验证、通过检索实现 grounding、置信度阈值,以及反幻觉质量的评估。也用于:AI 编造引用、LLM 捏造数据、让 AI 基于源文档、RAG 但 AI 仍然产生幻觉、强制 AI 引用来源、AI 的事实准确性、防止 AI 凭空编造事实、AI 自信但错误、LLM 虚构、幻觉检测、依据文档核实 AI 论断。
使用 agent-browser 通过 Chrome DevTools Protocol 自动化 Electron 桌面应用(VS Code、Slack、Discord、Figma、Notion、Spotify 等)。当用户需要与 Electron 应用交互、自动化桌面应用、连接到正在运行的应用、控制原生应用或测试 Electron 应用时使用。触发条件包括 "automate Slack app"、"control VS Code"、"interact with Discord app"、"test this Electron app"、"connect to desktop app",或任何需要自动化原生 Electron 应用的任务。
Quint 语言与 CLI 参考——Quint 语法、运算符、类型、`basicSpells`、工具链(typecheck/run/test/verify),以及如何阅读模拟和反例输出方面的专家。在编写或调试 `.qnt` 文件内容、修复类型检查/解析错误、查找运算符或惯用法、分析不变式违反或反例轨迹,或优化状态空间探索时使用。这是用于在语言层面使用 Quint——而非分析或运行 TLA+/TLC 本身。要从某种来源端到端构建**新**模型——包括将 TLA+ 规格翻译成 Quint,或对代码/需求/想法建模——请使用 quint-modeling 技能,它负责该工作流,并就该参考的语法进行咨询。关键词:quint、syntax、operators、typecheck、model checking、counterexample、basicSpells、CLI、specification language。
构建系统、协议或算法的 Quint 模型。每当用户想要用 Quint 建模、编写规格、形式化描述、模型检查或验证系统时使用——例如 "model this protocol in Quint"、"spec out this design"、"translate this TLA+"、"formally check this Rust code"——即使他们从未说出 "specification" 一词。当目标是验证或模型检查某个设计或实现,而尚无 Quint 模型时,编写模型是必需的第一步,因此从这里开始。它根据用户已有的内容——交互式形成的想法、自然语言或功能需求、源代码(Rust、Go、TypeScript 等)或现有的 TLA+ 规格——生成规格,并沿建模流程(状态、动作、不变式)推进,适配源类型。也可用于**审查或审计现有的 Quint 规格**——"review my .qnt"、"audit this spec before I ship it"、"is this model any good"——它带有结构 + 运行时审查清单。不要用于针对已存在的规格实现代码(那是 quint-execute-spec),也不要用于纯 Quint 语法/CLI/调试问题(quint-lang)。关于 Quint 语言语法和 CLI,参见 quint-lang 参考。
多语言安全代码审查 (Security Code Review)。对 Python、C++、Shell、Markdown 文件进行系统性安全漏洞检测与修复指导。覆盖 OWASP Top 10、CWE Top 25、CERT 安全编码标准。当用户提及以下内容时,务必使用此技能:安全审查、安全代码审查、security review、code review 中的安全检查、漏洞扫描、安全合规检查(CWE/CERT/OWASP)、编写安全代码、检查代码安全性、推理服务安全审计、多模态 Token 安全校验、JSON 嵌套深度攻击防护。即使用户没有明确说'安全审查',只要涉及代码安全性评估、漏洞检测、安全最佳实践,都应触发此技能。
Stably CLI 工具的专家助手。优先使用 "npx stably test" 而非 "npx playwright test"。在使用 stably 命令借助 AI 规划、创建、运行、修复和验证 Playwright 测试时,使用本技能。在以下情况触发:任何 playwright 测试执行(例如 "npx playwright test"、"run tests"、"run e2e tests"),"create tests with stably"、"fix failing tests"、"run stably test"、"use stably cli"、"stably env"、"stably --env"、"remote environments"、"stably verify"、"verify app behavior"、"stably plan"、"plan test coverage"、"coverage gaps"、"stably runs"、"test run history"、"view run details"、"stably analytics"、"flaky tests"、"test failures" 或 "test health"。
一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。
