type-system-audit
Type-System Audit 是一个代码库类型系统审计技能,通过近期修复缺陷的提交作为硬证据,定位过于宽松的类型与可被表示的非状态,并给出与提交绑定的优先级重构建议。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 11-12 00:15
40,684 个结果
Type-System Audit 是一个代码库类型系统审计技能,通过近期修复缺陷的提交作为硬证据,定位过于宽松的类型与可被表示的非状态,并给出与提交绑定的优先级重构建议。
RedisInsight 各项目 TypeScript 错误基线的运行、刷新与恢复说明。基线记录在 .tscheck.rec.json 中,CI 采用单向棘轮:错误计数只可下降,任一(文件×错误码)计数上升即失败。
用于安全地用一个 GitHub PR 替换另一个 PR 的技能。当用户表示某 PR 取代或替换旧 PR、需要自动关闭被取代的 PR 时使用。
用于更新现有 GitHub 拉取请求(PR)的标题和描述,使其准确反映该 PR 当前的最终改动。当用户要求更新 PR 标题或说明时使用,依据当前分支 diff 重写面向评审者的元数据。
本技能用于为事件溯源(event sourcing)系统设计与实现事件存储(event store),适合构建事件溯源基础设施、选择事件存储技术、实现自定义事件存储、优化事件存储与检索、设置事件存储模式以及规划事件存储扩展等场景。内容涵盖事件存储架构、需求特征、技术选型对比与代码模板:架构上以多个流(对应聚合)承载事件,并维护全局位置顺序;需求包括只追加、每流与全局有序、带版本的乐观并发控制、实时订阅通知以及幂等处理重复写入。技术对比列出 EventStoreDB、PostgreSQL、Kafka、DynamoDB、Marten 的适用场景与局限。模板包含 PostgreSQL 事件存储模式(events、snapshots、subscription_checkpoints 表及索引)、Python 事件存储实现(追加、读取流、读取全局、订阅、并发校验)、EventStoreDB 客户端用法、DynamoDB 事件存储实现,并给出最佳实践与资源链接。只提供设计与实现指导,不涉及具体收费与平台限制信息。
create-hooks 是一个用于创建 Claude Code hooks 的技能指南。Claude Code hooks 是用户自定义的 shell 命令,会在 Claude Code 生命周期的特定时间点自动执行,从而提供确定性的行为控制,而不是依赖 LLM 的决策。该技能说明了创建 hook 的标准流程:识别触发事件、定义 shell 命令、配置匹配器、独立测试命令、写入 ~/.claude/settings.json、在 Claude Code 中验证,以及审查安全性。它涵盖九种 hook 事件(如 PreToolUse、PostToolUse、Notification、SessionStart 等)、settings.json 的配置格式、通过 stdin 传入的 JSON 数据结构、退出码与拦截机制,并提供自动格式化、命令日志、敏感文件保护、桌面通知、自动测试、git 自动提交等完整示例,同时给出安全最佳实践与调试方法。
Implementation Planning 是一个用于创建和验证实施计划(PLAN)的技能,属于 rsmdt/the-startup 项目。它按照 TDD(测试驱动开发)原则,将功能拆解为可独立执行的任务,使开发者无需额外澄清即可独立开展工作。计划以模板结构组织,每个任务包含 Prime(准备上下文)、Test(编写测试)、Implement(实现)、Validate(验证)四个步骤,并支持依赖关系、并行标记、规格引用和活动类型标注。适用于规划实施阶段、定义任务、排列工作顺序、分析依赖等场景。
该技能用于在 Etherscan 兼容的区块浏览器上验证智能合约,基于 Foundry 的 forge verify-contract 命令。适用于标准验证、Foundry 不支持的链(通过 Etherscan V2 API)、代理合约(ERC1967、UUPS)以及工厂创建的合约(CREATE2)。使用前需满足 Foundry ≥1.3.6、合约地址、链 ID、浏览器 API 密钥和与部署字节码完全匹配的源代码等前提条件。技能提供版本检查、多种验证方法(标准、V2 API、带构造函数参数)、构造函数参数生成、特殊案例参考和常见问题排查,最终使合约源码在浏览器上可见并获得验证徽章。
用于在 Salesforce B2C 开发者工具中创建类型化 API 客户端,基于 OpenAPI 规范生成类型,并处理认证、OAuth 作用域与共享 HTTP 传输。
一份关于 2026 年类型安全 API 代码生成的技能指南,主张生成与框架无关的 options 工厂与文档,而非旧的 hooks 或按查询的 prop 类型,覆盖 REST 与 GraphQL 的选型、配置与使用方式。
该技能面向使用 .NET MAUI 框架(<UseMaui>true</UseMaui>)的开发者,指导在 MAUI 项目中集成 Scandit BarcodeCapture 条码扫描功能。它强调不能依赖训练数据中的旧版 API,必须对照官方参考文档核对方法签名与属性名,因为 BarcodeCapture API 在主要 SDK 版本间变化较大,且 MAUI 绑定在常规 .NET API 之上增加了平台生命周期与处理器相关事项。技能覆盖从零集成、配置设置、自定义反馈、添加取景器、处理扫描结果、扫描后异步处理,以及版本迁移和从第三方扫描库迁移等场景。内容涉及所需 NuGet 包(Scandit.DataCapture.Core、Scandit.DataCapture.Core.Maui、Scandit.DataCapture.Barcode、Scandit.DataCapture.Barcode.Maui)、MauiProgram.cs 构建链顺序、DataCaptureView 的 XAML 命名空间与绑定、BarcodeCaptureOverlay 在 HandlerChanged 后创建、页面生命周期启停相机、MainThread 调度、相机权限申请、许可密钥获取方式等具体要点。
sparkscan-net-maui 是面向 .NET MAUI 项目的 SparkScan 单条码扫描集成技能,用于在采用预置 SparkScanView UI 的 MAUI 应用中接入 Scandit 条码扫描能力。技能强调不得依赖模型记忆中的 Scandit SDK API,因为 SparkScan API 在大版本之间会重命名、删除或重构属性,且 .NET 绑定的命名习惯(PascalCase、Enabled、TimeSpan 等)与 Kotlin/Swift 原生 SDK 不同,MAUI 控件也有独立于 BarcodeCapture MAUI 集成和非 MAUI .NET-Android/.NET-iOS 集成的特殊之处。技能覆盖从零集成、设置配置、反馈定制、视图外观定制、扫描处理、MVVM 绑定、扫描后异步处理,以及从旧版本迁移、从第三方扫描库迁移等场景,并整理了 MAUI 专用的构建器链、XAML 命名空间、生命周期方法、事件 API、反馈委托、TimeSpan 属性、NuGet 包与平台版本要求、权限配置、许可证密钥获取流程等要点。分类为编程与开发。
council 是 ScottWater 提供的技能,用于通过 T3 Code 调度三家模型提供商的三位成员(Claude Opus 5.5、GPT Sol 6.1、Muse Wonder Full)对同一份工作进行多轮评审。每轮三位成员各自评审并打分,使用者验证其发现、采纳并修复问题后再次评审,直到三方满意。该技能由用户说出“council”时触发,适合在提交 PR 前对实现做多模型交叉审查。
面向多目标的代码与文档重构编排工具,可自动检测目标、简化代码、整理文档并批量清理。不适用于新功能开发、修 bug 或单纯理解代码。
GitHub Inbox 是一个用于整理 GitHub 工作收件箱的技能,把分散的 GitHub 待办事项汇总成一个按优先级排序的小队列。它覆盖被指派的 issue、评审请求、提及以及检查失败的自己发起的 PR。适合在需要确认哪些事项需要处理时使用。该技能默认只读报告,不修改任何内容;只有在获得批准后,才可能对标签、评论、指派、关闭或项目字段进行写入。它支持按仓库、所有者或项目过滤,并支持对单个 issue 或 PR 进行 triage 评估。
用于 React 组合模式(composition patterns)的技能指引,帮助避免布尔 prop 泛滥,通过复合组件、状态提升与内部组合构建灵活、易维护的组件,便于人和 AI 代理在代码扩展时协作。
一种在非平凡决策落地前引入全新上下文的对抗式审查的开发方法,强调先写出待验证主张,再让独立审查者仅凭产物与契约找出问题,以降低过度自信与上下文污染带来的风险。
用于创建或审计 ECL Agent Harness 仓库协作基础设施的技能,涵盖 AGENTS.md、变更跟踪、仓库指引、lint 检查、CI 门禁与交接文档,让 AI 智能体更可靠地在代码库中工作。
一套面向 AI 辅助开发的 Git 工作流与版本控制规范技能,强调主干开发、短生命周期分支、原子提交与清晰的提交信息,把每次提交当作可回退的存档点,并通过变更摘要、提交前检查与 git worktree 支持多智能体并行开发。
规格驱动开发(Spec-Driven Development)是一个在写代码之前先编写结构化规格说明的工作流技能。它把规格作为人类工程师与 AI 之间共享的事实来源,明确要构建什么、为什么构建以及如何判定完成。适用于启动新项目或新功能、需求含糊或不完整、变更涉及多个文件或模块、即将做架构决策、任务预计超过 30 分钟等场景。该工作流分为四个阶段,每个阶段都必须经人工审核通过后才能进入下一阶段:SPECIFY(规格)→ PLAN(计划)→ TASKS(任务)→ IMPLEMENT(实现)。规格阶段需先列出假设并请人工纠正,然后编写覆盖目标、命令、项目结构、代码风格、测试策略、边界(始终做/先询问/绝不做)等核心内容的规格文档,并将模糊需求改写为可测试的成功标准。计划阶段确定组件、依赖、实现顺序、风险与验证检查点;任务阶段拆分为单个会话可完成、带验收标准与验证步骤的任务;实现阶段依据增量实现与测试驱动开发逐个执行任务。规格需要随决策和范围变化持续更新,并纳入版本控制。适用于多种编程与开发场景。
JSI(JavaScript Interface)是 React Native 中的一套 C++ API,用于让原生代码直接与 JavaScript 引擎交互,包括读写 JS 值、调用 JS 函数以及向 JS 暴露 C++ 对象,而无需经过旧的异步桥接(bridge)。该技能面向编写或讨论涉及 JSI 的 C++ 代码的场景,提供按主题划分的参考文档,涵盖架构、类型系统、类型转换与序列化、线程安全、从 C++ 调用 JS 与异步、性能优化、Android/iOS 绑定安装与模板、模块方案选型、C++ 内存模式以及调试与常见陷阱等内容。使用时建议每个问题最多加载一个参考文件,并优先选择最具体的匹配项。
Pipes 新索引器技能用于通过 Pipes CLI 创建区块链索引器项目,提供 EVM、Solana 和 Hyperliquid 链的模板。适用于从零开始搭建索引器,支持 ERC20 转账、Uniswap V3 交换等常见场景,并包含 Solana Anchor 与非 Anchor 程序的处理指南以及 Hyperliquid 成交数据索引的手动配置方法。
该技能用于借助 GitHub CLI 自动生成并创建 Pull Request 描述。当用户要求创建 PR、生成 PR 描述时使用,会先检查分支与提交,再分析改动、判定变更类型并生成结构化描述,最后写入临时文件并用 gh 创建 PR。
用于分析最近 Claude Code 对话日志的回顾技能,可从重复出现的指示、纠正与返工中提取改进信号,并向 CLAUDE.md、.claude/skills、.claude/rules、.claude/settings* 提出改进建议并选择性应用。