Skills
エージェント向けにパッケージ化された専門スキルと手順を 96,981 件掲載。コマンド 1 行でインストールできます。
セキュリティ
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エクスプロイト」「流動性分布関数」「非対称な流動性丸め」「フラッシュティックシフト」「JIT流動性攻撃」「ジャストインタイム流動性」「V4 JIT」「Morpho Blue」「Euler V2」「EVC」「モジュール型レンディング」「パーミッションレス市場」「EigenVault」「ボルト間の健全性」「ERC-4337実行ボルト」「EIP-7701」「ネイティブアカウント抽象化」「ACCEPT_ROLEオペコード」「トランザクションごとの検証」「レガシーコントラクトの検証」「Cork Protocol」「V4フックの資金流出」「onlyPoolManagerフック」「onlyPoolManagerの欠落」「TransientStorageClearingHelperCollision」「一時ストレージの削除」「delete tstoreのバグ」「ERC-7579モジュールポイズニング」「モジュールonUninstallのリバート」「古いモジュール状態」「executor 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の非推奨化」「Solidityでのsendの非推奨化」「0.9でtransferを削除」「0.9でsendを削除」「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 folding」「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 アプリの変更をゲートする——単一のブラインドレビュー用サブエージェントが、diff またはファイルセットを 22 の判定可能なルールに照らして評価する。ルールはクライアント/サーバー境界のリーク、server function と server route の使用、認証とセキュリティ、SSR データ読み込み、境界の型安全性、およびコンパイラ設定を対象とする。TanStack Start の作業をマージする前に、Start または TanStack のコードベースのゲート、敵対的レビュー、合否判定を求められたときに、またはエージェントが作成した Start 機能の最終チェックとしてトリガーする。判定のみを返し、作業を修正することは決してない。教示的なレビューフィードバックには、代わりに distillation スキルを使用する。
アプリケーションのソースコードを認可の不備についてレビューする — IDOR / オブジェクトレベルの認可の不備（OWASP API1）、機能レベルの認可の不備（API5）、マスアサインメント（API3）、マルチテナント分離の欠陥、権限昇格。ルート、コントローラー、リゾルバー、データモデルをオフラインで読み取り、不足している所有権/ロールチェックを file:line でフレームワークに即した修正とともに報告する。アプリの実行なし、認証情報なし、ツールなし。トリガー：エンドポイント/ハンドラのレビュー、ルートを追加・変更する PR diff の監査、マルチテナント SaaS の堅牢化、またはユーザーが「このエンドポイントは認可されているか？」「ユーザーが他のユーザーのデータにアクセスできるか？」「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、パッケージマネージャー、OS ユーティリティを含まない - 上にアプリケーションイメージを構築してコンテナの攻撃面を縮小します。マルチステージビルドのパターンに加え、distroless 向けに調整したデバッグとスキャンの手法を用います。コンテナイメージの堅牢化、コンテナアーキテクチャにおける攻撃面の削減、またはベースイメージの肥大化に関する評価指摘への回答に使用します。キーワード：distroless、マルチステージビルド、shell なし、nonroot タグ、デバッグイメージ、scratch、攻撃面。イメージ内の既知の CVE のスキャンには使用しないでください - scanning-docker-images-with-trivy を使用してください。
PE 実行ファイルや不審なファイルを対象としたプロフェッショナルなマルウェア分析ワークフロー。"analyze this malware"、"analyze this sample"、"what does this executable do"、"check this file for malware" といったリクエストを伴うファイルアップロード、または不審なファイルを調査するあらゆるリクエストでトリガーされる。静的解析、脅威インテリジェンスのトリアージ、挙動の推論を行い、推論に基づく結論を備えたアナリスト級のレポートを作成する。
クエリのエントロピー、サブドメインの長さ、単一ドメインへのクエリ量、TXT/CNAME/NULL レコードの悪用、過大な応答ペイロードを分析し、パッシブ DNS 監視と統計/機械学習の手法を用いて、DNS トンネリング（iodine、dnscat2、dns2tcp などのツール）によるデータ持ち出しを検出します。隠密な DNS ベースのデータ持ち出しを探したり、パッシブ DNS の異常検知能力を構築したりするときに使用します。
Microsoft Entra Agent ID（プレビュー）。Microsoft Graph beta API を通じて OAuth2 対応の AI エージェント ID を作成します。Agent Identity Blueprints、BlueprintPrincipals、Agent Identities、必要な権限、sponsors、Workload Identity Federation を扱います。多言語エージェント認証（Docker/Kubernetes）向けの Microsoft Entra SDK for AgentID（コンテナ化 sidecar）、3P エージェント統合、自律型および対話型のエージェントパターンを含みます。トリガー："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"。
ユーザーが Modal.com 上で隔離されたコードや信頼できないコードを実行したい場合にこの skill を使用する。以下の場合に積極的に有効化：modal.Sandbox、安全なユーザーコード実行、コーディングプレイグラウンド、名前付きサンドボックス、PTY セッション、ファイルシステムスナップショット、タイムアウトとリソース制限、Egress ポリシー、サンドボックスのライフサイクル cleanup、terminate()、コード実行のセキュリティレビュー。提供：サンドボックスのセキュリティチェックリスト、ライフサイクルとクリーンアップのパターン、Egress/リソース制限のレシピ、スナップショット/PTY の使用例。
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。