Trail of Bits Skills Marketplace

Solidityのセキュリティと開発のためのClaude Codeスキル。solidity-auditorは、開発中のSolidityの変更に関する迅速な (通常は5分未満) セキュリティフィードバックを提供します。Claude Code CLI、VSCodeのClaude拡張機能、およびCursorで動作します。

Solidityおよびその他のエコシステムのセットアップとアップグレードのワークフローを含む、オープンツェッペリンのContractsライブラリを使用した安全なスマート・コントラクト開発のためのエージェントスキル。

本番レベルのコード向けのSolidity開発標準を備えたClaudeプラグインです。テスト、コードの品質、およびスマート・コントラクトの機密性について、より徹底しています。Cyfrinマーケットプレイスからインストールします。Patrick CollinsとCyfrinチームによる提供です。

36の固有の脆弱性タイプを使用して、Solidityコードベースのセキュリティ脆弱性をスキャンするClaude Codeスキル。チートシートの読み込み、構文的および意味的なコードベースのスイープ、参照ファイルを使用した詳細な検証、およびレポートの4段階の監査を行います。smart-contract-vulnerabilitiesからの参照を使用します。

スマート・コントラクトのセキュリティ監査のためのAI・エージェントスキル。リエントランシー、オラクル/フラッシュ・ローン、プロキシ/アップグレード、状態の不変条件、セマンティックガードなどをカバーする10個のプラグイン。従来の静的分析では見逃される脆弱性に対するQuillShieldの方法論。ClaudeおよびCursorで動作します。

Claude CodeおよびCodex CLI向けのスマート・コントラクトセキュリティ監査ツール。スリザー、Aderyn、Cyfrinチェックリスト、およびSoloditの調査結果を統合します。静的解析と調査結果の検索のための4つのMCPツールを備えたMap-Hunt-Attack手法を採用しています。