analyze-2-func-specs
该技能用于分析 ***plain 规范文件中的两个功能规范,判断它们是否冲突。输入为两个功能规范,输出仅为 COMPATIBLE 或 CONFLICTING,不含推理或解决建议。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 11-04 00:13
39,453 个结果
该技能用于分析 ***plain 规范文件中的两个功能规范,判断它们是否冲突。输入为两个功能规范,输出仅为 COMPATIBLE 或 CONFLICTING,不含推理或解决建议。
用于创建 ***plain 导入模块(import module)的技能,帮助在 template/ 目录中编写只含定义、实现需求与测试需求的 .plain 文件,供其他模块通过 import 复用共享定义与需求。
用于排查运行中应用缺陷的调试技能:读取 plain_modules/ 生成的代码,把问题追溯到 .plain 规格文件,只在规格中修复,不改动生成代码。
加载 ***plain 语言完整参考(PLAIN_REFERENCE.md)的技能,涵盖语法、章节类型(definitions、implementation reqs、test reqs、functional specs)、概念表示法、导入与依赖、链接资源等规范。
refactor-module 是一个用于把庞大的 ***plain 模块按逻辑领域拆分成多个较小模块的技能,拆分后各模块通过 requires 链连接,保持原有功能行为不变。适用于模块包含多个不同域的功能规格、关注点交织、难以扩展或用户明确要求拆分时。
该技能用于在代码库中寻找“深化”机会,把浅模块重构为深模块,并以 CONTEXT.md 的领域语言和 docs/adr/ 的决策为依据。适合希望在可测试性与 AI 可导航性上改进架构时使用。
用于在正式投入设计前,通过可丢弃的原型快速验证问题的技能。它按问题类型分流:验证状态与业务逻辑时构建可运行终端应用,探索界面外观时生成多个可切换的 UI 变体。
该技能用于为代码重构制定详细计划:通过访谈用户明确问题与解决方案,探索仓库验证现状,确定实现范围与测试覆盖情况,将实现拆解为尽可能小的提交步骤,最终以 GitHub issue 形式记录重构计划。issue 内容包含问题陈述、解决方案、提交计划、决策文档、测试决策和范围外说明等部分。
zoom-out 是一个面向编码智能体的技能,用于让智能体主动提升抽象层级,提供更宏观的上下文或更高层视角,适合在不熟悉某段代码时快速了解相关模块与调用者关系。
面向 Shopify 电商开发的技能,覆盖主题开发、无头商店、应用构建与结账扩展。使用 Liquid 2.0、Storefront API 2024-10、App Bridge 4.0 等,遵循 Shopify CLI 工作流与主题架构,并关注性能与转化。
Whop 平台集成技能,覆盖数字产品、会员订阅、课程、论坛与社区变现。涉及成员、支付、课程、Webhook、OAuth 应用与访问控制等 API 用法。
Randroid 是一个用于路由请求的技能,帮助判断用户需求应匹配哪个 Randroid 开发工作流。它本身不直接执行任务,而是说明各可用技能的能力并指引选择最合适的单一工作流。可选工作流包括:用于带 Dots 追踪和明确 git 流程的有界研究或实现循环的 Randroid Loop;用于处理当前拉取请求评审反馈并以验证证据回复的 Address PR Comments;用于浏览器游戏试玩、证据捕获与 Spiral-HTML 台账更新的 VibeReview;用于借助真实截图或渲染移除界面、游戏和 3D 资产中通用视觉与文案模式的 Clean Slop;以及用于游戏缺乏预期玩家交互、需要先做可玩原型或需安装 game-not-app 规则的 Game Feel。该技能强调只加载并遵循所选中的单一技能,不因共享命名空间而合并工作流;若用户请求未指明工作流且多个选项均合理,应简要说明区别并询问期望结果。Claude Code 也在 randroid 插件命名空间下暴露这些技能,可移植技能名为准,旧命令别名可能保留以兼容。
agentsview 是一款本地优先的 AI 编程智能体会话分析工具,支持浏览、搜索和成本追踪,覆盖 Claude Code、Codex、Cursor、Copilot 等 20 多种 AI 编程智能体。所有数据在本地运行,无需账号或云依赖。它使用 Go 编写并以 SQLite 存储,提供 Web UI 用于会话浏览、全文搜索、Token 用量分析和成本追踪。
rust-docs 是一套面向 Rust 开发者的文档注释写作规范技能,核心观点是“文档注释是 API 契约,而不是叙述”。它要求注释只告诉调用者正确调用该条目所需的信息:做什么、需要什么、返回什么、如何失败,而不描述实现细节。技能强调首句约十五词、单独一行且承载完整索引信息;模块顶部用 //! 说明模块用途和条目关系;公共条目按 # Examples、# Errors、# Panics、# Safety 顺序组织规范段落;文档测试必须真正参与 cargo test,使用 ? 而非 unwrap,并用 # 隐藏准备代码;用 [Config] 等文档内链接而非无检查的反引号名称;为魔法常量记录“为什么”而非复述数值。最后给出 cargo doc、cargo test --doc 和 cargo clippy 的验证命令。
rust-serde 是一个面向 Rust 开发者的 Serde 使用技能,聚焦于把 Serde 用作不可信输入转成领域类型的边界。它强调反序列化本质上是一次解析,反序列化得到的类型就是程序其余部分所信任的类型,因此这里是低成本执行校验的最后位置。技能介绍了用 #[serde(try_from = "...")] 先反序列化为原始结构、再经 TryFrom 转为已校验类型的机制,使转换失败直接变成反序列化错误;还涉及 rename_all 统一命名、default 与 Option 和 skip_serializing_if 三种可选性含义的区别、外部/内部/相邻/无标记四种枚举表示法及其约束、deny_unknown_fields 按类型决定、flatten 的组合收益与代价,以及把反序列化错误作为独立错误种类处理。适用场景包括配置文件解析、跨服务消息的类型边界设计等。
type-driven-design 是一个面向 Rust 的技能,核心思想是让非法状态无法被表示:用枚举替代布尔与字符串标志,用 newtype 承载不变量,用解析类型替代先构造后校验。它主张:若违反某不变量是本代码库中真实存在的缺陷类别,就把它编码进类型;否则不应为可表达而强行建模。该技能说明何时使用枚举、私有字段构造函数、typestate 表达协议顺序,并给出停止规则与验证方式。
该技能聚焦 Rust 的 unsafe 编程规范,核心观点是 unsafe 并非许可证,而是承诺:块内代码可能破坏规则,但周边代码必须继续遵守规则;unsafe 指向未定义行为(UB),而非单纯的“危险”。它要求每个 unsafe 块都写明所维护的安全不变量,并为 pub unsafe fn 提供 # Safety 文档。技能界定 unsafe 仅额外允许五种操作(解引用裸指针、调用 unsafe fn、实现 unsafe trait、访问 union 字段、修改 static mut),其余借用检查、所有权与类型规则照常适用。它给出“正当性测试”:只有 FFI、经性能分析证实的性能收益、语言无法安全表达的底层原语三种理由才可使用 unsafe,且必须留下书面理由。此外,它强调健全性标准(任何安全调用者都不能触发 UB)、封装边界、常见 UB 风险(别名、未初始化内存、无效值、transmute、跨 FFI 展开、数据竞争),并推荐优先复用 bytemuck、zerocopy 等成熟 crate,使用 cargo miri test、clippy 等命令验证,且需如实说明 Miri 的局限。
用于分析和优化 Python 代码性能的技能,涵盖 CPU 性能分析、内存优化与实现最佳实践,借助 cProfile、内存分析器等工具定位瓶颈。
本技能介绍 Dart 语言中针对 int 与 bool 类型的位运算用法,涵盖 AND、OR(含 inclusive 与 exclusive)、NAND、NOR、XNOR 等运算,并给出可直接运行的代码示例。资料显示,Dart 支持对整数和布尔值进行位运算:AND 判断左右两侧是否同时为真;OR 分为 inclusive(任一侧为真即为真)与 exclusive(两侧为真但不同时为真);NAND、NOR、XNOR 分别是对 AND、inclusive OR、exclusive OR 取反的结果。每个运算均提供 int 与 bool 两组示例,展示不同输入组合下的输出结果。适合需要在 Dart 中处理位级逻辑、布尔组合或底层运算的开发者参考。
这是一份在 Flutter 中通过 sqlite3 与 mustache_template 在运行时导出 SQLite 数据库表与索引为可执行 CREATE 语句的技术教程。教程先创建 Flutter 项目并安装依赖,随后建立内存数据库,用 SQL 查询 sqlite_master 获取表名,再通过 PRAGMA table_info、PRAGMA index_list 与 PRAGMA index_info 收集字段和索引信息,整理成 TableInfo 对象并转为 JSON,最后用 Mustache 模板渲染输出 CREATE TABLE 与 CREATE INDEX 语句。适合需要在运行时备份、迁移或对比 SQLite 架构的 Flutter 开发者。
SaiAdmin6 插件开发技能,用于指导基于 SaiAdmin6.x 架构开发插件,涵盖 Webman 后端与 Vue/Nuxt 前端两部分。插件后端位于 server/plugin/<plugin_name>,前端位于 saiadmin-artd/src/views/plugin/<plugin_name>。技能说明了数据库规范(主键要求、status、created_by、updated_by、时间戳等标准字段、建表示例与命名约定),并给出创建新插件的流程:后端通过 server/ 目录下执行 php webman sai:plugin <your_plugin_name> 自动生成目录、config 文件、app 目录及默认 IndexController;前端需手动创建目录与 api/ 目录。还提供数据库规范、后端开发规则(控制器、模型、验证器、目录结构)和前端开发规则(API 定义、列表页、对话框、目录结构)等参考内容。
面向 .NET for Android(net*-android,非 MAUI)项目的 Scandit BarcodeCapture 技能,指导集成条码扫描、配置、迁移与第三方替换,强调以官方参考核对 API。
用于 .NET for iOS(net*-ios,非 MAUI)项目集成 Scandit BarcodeCapture 条码扫描能力的技能,涵盖 SDK 初始化、符号配置、相机与视图设置、扫描结果处理及版本迁移。
MatrixScan Batch iOS 技能用于在 iOS(Swift、UIKit/SwiftUI)项目中同时跟踪和扫描多个条码,基于 Scandit SDK 的 BarcodeBatch(旧称 BarcodeTracking)能力。该技能强调不要依赖记忆中的 SDK API,因为 BarcodeBatch 的初始化器、覆盖层构造器和委托方法名在不同大版本间会变化,必须对照技能提供的参考文档核实。技能覆盖从零集成、设置配置、处理被跟踪条码、自定义覆盖层、添加反馈、生命周期管理,以及版本迁移和从第三方扫描方案迁移等场景。使用前需要 Scandit 许可证密钥,可通过 Scandit MCP 服务器获取试用密钥,或自行在 ssl.scandit.com 生成。