Skills
收录 96,981 个为 Agent 打包的专项能力与操作指引，复制一行命令即可安装。
安全
全面的 Solidity 智能合约安全审计与漏洞分析技能。基于 Trail of Bits、OpenZeppelin、Consensys Diligence、Sherlock、CertiK、Cyfrin、Spearbit、Halborn 及其他领先 Web3 安全公司的方法论。当用户要求“审计智能合约”“审查 Solidity 代码的安全性”“查找漏洞”“检查重入”“分析 Gas 优化”“审查访问控制”“检查代理模式”“分析 DeFi 协议安全性”“审查 ERC20/ERC721 实现”“检查预言机操纵风险”“审查升级模式”，或提及任何 EVM 兼容智能合约安全审查时，都应使用此技能。以下关键词也会触发此技能：“slither”“echidna”“foundry fuzz”“形式化验证”“不变量测试”“闪电贷攻击”“MEV”“三明治攻击”“抢先交易”“delegatecall”“selfdestruct”“重入保护”“访问控制漏洞”“存储冲突”“代理升级安全”“智能合约漏洞利用”“L2 安全”“跨链”“桥安全”“排序器”“LayerZero”“CCIP”“账户抽象”“ERC-4337”“智能账户”“paymaster”“bundler”“UserOperation”“重新审计”“差异审计”“修复审查”“修复验证”“Uniswap v4 hooks”“Chainlink 集成”“Aave 集成”“闪电贷接收器”“ERC-4626 金库”“再质押”“EigenLayer”“AVS”“严重性分类”“严重性判定”“永续合约”“perp dex”“GMX”“Synthetix”“资金费率”“清算级联”“意图协议”“UniswapX”“Permit2”“1inch Fusion”“荷兰式拍卖订单”“ZK-VM”“zkSync”“Polygon zkEVM”“ZK 证明”“Risc0”“SP1”“Circom”“约束不足”“ERC-7683”“跨链意图”“IOriginSettler”“IDestinationSettler”“CrossChainOrder”“填单协议”“源链结算器”“目标链结算器”“orderId”“fillDeadline”“EIP-7002”“可触发退出”“执行层提款”“验证者退出”“EIP-7251”“MaxEB”“最大有效余额”“验证者合并”“合并”“EIP-6110”“信标链存款”“验证者存款”“流动性质押安全”“OWASP SC”“OWASP 智能合约”“SC01”“SC02”“ERC-6909”“多代币”“PoolManager claims”“认领代币”“isOperator”“MEV 机器人”“MEV 合约”“套利机器人”“三明治机器人”“扫取函数”“AI 生成代码”“Copilot”“氛围编程”“LLM 生成的 Solidity”“Wake”“eth-wake”“Ackee Blockchain”“TSTORE”“TLOAD”“瞬时存储”“tstore 编译器错误”“tstore 污染”“solc 0.8.28”“solc via-ir”“via-ir 优化器”“绕过 tstore 重入保护”“EOF”“EIP-7692”“Fusaka 升级”“EXTDELEGATECALL”“EVM 对象格式”“Gas 可观测性”“代码可观测性”“CODESIZE EXTCODESIZE EOF”“ERC-7726”“价格适配器”“价格预言机适配器”“错误的有效性假设”“IQuote”“getQuote 预言机”“幽灵抵押品”“孤立状态”“Abracadabra 漏洞利用”“cook 批处理路由器”“外部调用失败状态”“清算幽灵债务”“溢出哨兵”“Cetus 漏洞利用”“位移保护”“FullMath 溢出”“PRBMath 溢出”“自定义数学库溢出”“OpenZeppelin v5 迁移”“OZ v4 到 v5”“ERC-7201 命名空间存储”“顺序存储布局”“命名空间存储布局”“存储槽迁移”“LDF 舍入”“Bunni 漏洞利用”“流动性分布函数”“非对称流动性舍入”“闪电 tick 位移”“JIT 流动性攻击”“即时流动性”“V4 JIT”“Morpho Blue”“Euler V2”“EVC”“模块化借贷”“无许可市场”“EigenVault”“跨金库健康度”“ERC-4337 执行器金库”“EIP-7701”“原生账户抽象”“ACCEPT_ROLE 操作码”“逐笔交易验证”“旧版合约验证”“Cork Protocol”“V4 hook 资金抽取”“onlyPoolManager hook”“缺少 onlyPoolManager”“TransientStorageClearingHelperCollision”“删除瞬时存储”“delete tstore 错误”“ERC-7579 模块投毒”“模块 onUninstall 回滚”“过时模块状态”“执行器 delegatecall 模块”“ERC-7484”“模块注册表证明”“ERC-7821”“最简批处理执行器”“EIP-7821”“清扫器委托活动”“Pectra 绕过 tx.origin”“EIP-7702 清扫器”“跨链三明治攻击”“源链事件泄露”“CeDeFi”“递归杠杆崩溃”“预言机价格硬编码”“抵押品价格硬编码”“绕过 cook() 标志”“批处理路由器标志重置”“绕过延迟偿付能力检查”“预言机链复杂性”“再质押预言机链”“链式价格适配器”“Hyperliquid 漏洞利用”“金库清算吸收器”“HLP 金库操纵”“Fusaka Gas 上限”“EIP-7825”“逐笔交易 Gas 限制”“应用链分叉”“Berachain 分叉”“分叉 L1 继承的错误”“Aderyn v0.6”“Aderyn LSP 服务器”“echidna 验证模式”“halmos recon 复现器”“slither 分诊”“slither 发现过多”“slither 误报”“slither 200 条发现”“slither 过滤器”“slither 配置”“slither 抑制”“slither FP”“slither 发现分诊”“slither-check-upgradeability”“slither 优先级”“何时跳过 slither 发现”“Solidity 0.9.0”“transfer 已弃用”“send 在 Solidity 中已弃用”“transfer 在 0.9 中移除”“send 在 0.9 中移除”“从 transfer 迁移到 call”“跨链 PUSH0”“PUSH0 操作码不兼容”“evm-version paris”“evmVersion paris”“Shanghai 分叉兼容性”“非 Shanghai 链”“zkSync 上的 PUSH0”“EIP-3855”“ERC-1967 槽损坏”“代理存储槽”“实现槽覆盖”“UUPS 锁死攻击”“upgradeTo 接口检查”“缺少 proxiableUUID”“存储布局迁移”“代理槽冲突”“delegatecall 槽覆盖”“ePBS”“EIP-7732”“内嵌 PBS”“提议者-构建者分离共识”“区块访问列表”“Block Access Lists”“BALs EIP-7928”“EIP-7928”“Glamsterdam”“载荷扣留攻击”“预确认时序”“预确认安全”“AI 生成代码审计”“氛围编程安全”“LLM 合约审查”“copilot Solidity”“幻觉接口”“AI 生成的重入保护失效”“AI 生成的访问控制不完整”“Noir 电路”“未约束 Noir”“pub input Noir”“Noir 语言审计”“SP1 zkVM”“SP1 Succinct”“SP1 周期限制”“SP1 预编译安全”“Polygon CDK”“CDK 链审计”“LxLy 桥”“AggLayer 安全”“折叠方案”“Nova IVC”“SuperNova 折叠”“HyperNova”“ProtoStar IVC”“dYdX v4”“dYdX Cosmos 链”“CLOB 信任模型”“CometBFT MEV”“Gains Network”“gTrade”“DAI 金库交易对手风险”“合成 perp 偿付能力”“操纵偏斜影响资金费率”“资金费率预言机”“保险基金抽取”“跨保证金传染”“逐仓切换至全仓”“xUSD 漏洞利用”“Stream Finance 漏洞利用”“美元预言机价格硬编码”“Hyperliquid HLP 漏洞利用”“HLP 清算吸收器”“双角色金库”“RWA 协议”“现实世界资产”“代币化资产”“NAV 操纵”“池管理器信任”“优先级份额”“劣后级份额”“周期赎回”“KYC 转账限制”“ERC-1400”“ERC-3643”“Centrifuge 审计”“Maple Finance 审计”“Goldfinch 审计”“TrueFi 审计”“期权协议”“期权结算预言机”“隐含波动率操纵”“IV 预言机”“期权到期操纵”“备兑看涨金库”“卖出看跌金库”“Ribbon Finance 审计”“Dopex 审计”“Lyra 审计”“Opyn 审计”“Hegic 审计”“期权行权价操纵”“Premia 审计”“Aevo 审计”“Thetanuts 审计”“options-protocols.md”“oToken”“theta 金库”“SSOV”“期权抵押品”“期权保证金”“期权结算”“看涨价差收益”“IV 抽取”“Deus DAO 预言机”“Gnosis Auction 滥用”“预测市场”“预测市场预言机”“结果判定者操纵”“条件代币”“CTF conditional”“Gnosis CTF”“LMSR AMM”“市场结算贿赂”“Polymarket 审计”“Gnosis Safe 模块”“Safe 模块审计”“Safe 守护程序”“Safe 回退处理器”“enableModule 安全性”“Safe 存储冲突”“delegatecall Safe”“Zodiac 模块”“Safe 恢复模块”“Safe 社交恢复”“模块阈值绕过”“BNB Chain 桥漏洞利用”“BSC 桥 Merkle 证明”“iavl 库错误”“桥伪造 Merkle 证明”“Multichain 漏洞利用”“MPC 密钥中心化”“TSS 桥中心化”“MPC 桥审计”“桥运营商司法管辖区”“桥单点故障”“MPC 密钥轮换”“链下证明库审计”“ICS23 证明验证”“跨链证明伪造”“Code4rena”“C4 竞赛”“Sherlock 竞赛”“Immunefi”“Cantina 竞赛”“CodeHawks”“Cyfrin Updraft”“warden 提交”“Watson 提交”“漏洞赏金提交”“审计竞赛”“审计比赛”“竞赛发现”“提交至竞赛”“竞赛报告”“H/M 级发现”“QA 报告 warden”“vm.signDelegation”“vm.attachDelegation”“vm.signAndAttachDelegation”“ERC-7702 Foundry”“ERC-7702 PoC”“撤销委托”“forge build --eof”“forge test --eof”“EOF PoC”“EOF 迁移”“EXTDELEGATECALL 代理”“EOF selfdestruct”“EOF 容器验证”“Move 语言”“Move 审计”“Sui 审计”“Aptos 审计”“Move 资源”“Sui 对象模型”“Aptos 同质化资产”“MoveBit”“OtterSec Move”“Move 热土豆”“Move 能力代币”“Sui PTB”“Move 字节码验证器”。即使用户只是粘贴 Solidity 代码并询问“安全吗？”或“这里有什么问题？”，也应使用此技能。
使用本技能，以通过/不通过的对抗性审查来把关 TanStack Start 加 TypeScript 的 Web 应用变更——由单个盲审子代理依据 22 条可判定规则评判 diff 或文件集，规则涵盖客户端/服务端边界泄漏、server function 与 server route 的用法、认证与安全、SSR 数据加载、边界类型安全，以及编译器配置。在合并 TanStack Start 工作前触发，在被要求把关、对抗性审查或判定 Start 或 TanStack 代码库时触发，或作为对 Agent 编写的 Start 功能的最终检查。它只给出判定，绝不修复工作；如需教学式审查反馈，请改用 distillation 技能。
审查应用源码中的授权缺陷——IDOR / 对象级授权失效（OWASP API1）、功能级授权失效（API5）、批量赋值（API3）、多租户隔离缺口和权限提升。离线读取路由、控制器、resolver 和数据模型，并按 file:line 报告缺失的归属/角色检查及符合框架的修复方案。无需运行应用、无需凭据、无需工具。触发场景：审查 endpoint/handler、审计新增或变更路由的 PR diff、加固多租户 SaaS，或用户问"这个 endpoint 有授权吗？"、"用户能访问其他用户的数据吗？"、"IDOR"、"BOLA"、"broken access control"。
指导使用 Composer 命令升级 PHP 项目。在帮助用户升级 PHP 包、用 `composer audit` 检查安全漏洞、确定优先升级哪些包、理解依赖冲突、解读 `composer outdated` 输出、用 `composer why-not` 诊断版本约束、用 `composer why` 追踪依赖、在升级后用 `composer bump` 加固版本约束、规划安全的升级路径、解决 composer.json 中的包版本冲突，或解决 composer.lock 中的合并冲突时使用。每当用户提到 composer 包、PHP 依赖、过时的包、PHP 项目中的 CVE 或安全公告时触发此 skill。
受 offensive-claude 启发的 Cursor 原生攻击性安全交战与可利用性自动研究编排器。用于经授权的攻击性交战、红队或渗透测试工作流、Kill Chain 式评估、有范围的 Web/网络/云/移动/AD/漏洞赏金攻击计划，或对防御性发现的利用性验证。在 validate-findings 模式下，它对去重后的发现运行一个有界、用户可控的自动研究循环：若干假设轮次/假设、实验、观察、改进的循环。当用户要求运行自动研究循环、迭代或多轮假设循环，或对发现进行固定轮数的循环或迭代时，随时使用它。支持 engagement 模式和 validate-findings 模式。仅为指令：不附带扫描器、漏洞利用运行器、载荷构建器或本地脚本。
通过基于 Google distroless 基础镜像构建应用镜像来缩小容器攻击面，这些镜像仅包含应用运行时 - 不含 shell、包管理器或操作系统工具 - 采用多阶段构建模式，以及针对 distroless 调整的调试与扫描技术。适用于加固容器镜像、在容器架构中削减攻击面，或回应关于基础镜像臃肿的评估发现。关键词：distroless、多阶段构建、无 shell、nonroot 标签、调试镜像、scratch、攻击面。不要用于扫描镜像中已知的 CVE - 请使用 scanning-docker-images-with-trivy。
Microsoft Entra Agent ID（预览版），用于通过 Microsoft Graph beta API 创建支持 OAuth2 的 AI Agent 身份。涵盖 Agent Identity Blueprints、BlueprintPrincipals、Agent Identities、所需权限、sponsors 以及 Workload Identity Federation。包含 Microsoft Entra SDK for AgentID（容器化 sidecar），用于多语言 Agent 认证（Docker/Kubernetes）、3P Agent 集成、自主与交互式 Agent 模式。触发词："agent identity"、"agent id"、"Agent Identity Blueprint"、"BlueprintPrincipal"、"entra agent"、"agent identity provisioning"、"Graph agent identity"、"entra sidecar"、"agent id sidecar"、"auth sidecar"、"3P agent"、"third-party agent identity"、"polyglot agent auth"。
一个开放协议，规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话，MCP 服务负责提供工具、资源和提示模板，两者通过标准消息通信，同一个服务可以被不同客户端复用。