スキル一覧に戻る

cairo-vulnerability-scanner

trailofbits
更新日 29 days ago
24 閲覧
5,389
479
5,389
GitHubで表示
デザインai

について

このスキルは、算術オーバーフローやレイヤー間メッセージングの問題など、Cairo/StarkNetスマートコントラクトにおける6つの重大なセキュリティ脆弱性をスキャンします。StarkNetプロジェクトの監査時に使用することで、コード内のプラットフォーム固有のリスクを自動的に検出できます。ローンチ前のセキュリティ評価や、L1-L2間の相互作用のレビューを目的として設計されています。

クイックインストール

Claude Code

推奨
メイン
npx skills add trailofbits/skills -a claude-code
プラグインコマンド代替
/plugin add https://github.com/trailofbits/skills
Git クローン代替
git clone https://github.com/trailofbits/skills.git ~/.claude/skills/cairo-vulnerability-scanner

このコマンドをClaude Codeにコピー&ペーストしてスキルをインストールします

GitHub リポジトリ

trailofbits/skills
パス: plugins/building-secure-contracts/skills/not-so-smart-contracts-scanners/cairo-vulnerability-scanner
0
agent-skills

関連スキル

executing-plans

デザイン

executing-plansスキルは、完全な実装計画があり、それを管理されたバッチでレビューチェックポイントを設けながら実行する場合に使用します。このスキルは計画を読み込んで批判的にレビューした後、小さなバッチ(デフォルトは3タスク)でタスクを実行し、各バッチの間に進捗状況を報告してアーキテクトのレビューを受けます。これにより、品質管理チェックポイントが組み込まれた体系的な実装が保証されます。

スキルを見る

requesting-code-review

デザイン

このスキルは、コードレビュアーサブエージェントを起動し、処理を進める前に要件に対してコード変更を分析します。タスク完了後、主要な機能の実装後、またはmainブランチへのマージ前などに使用すべきです。このレビューは、現在の実装と元の計画を比較することで、問題を早期に発見するのに役立ちます。

スキルを見る

connect-mcp-server

デザイン

このスキルは、開発者がHTTP、stdio、またはSSEトランスポートを使用してMCPサーバーをClaude Codeに接続するための包括的なガイドを提供します。GitHub、Notion、カスタムAPIなどの外部サービスを統合するためのインストール、設定、認証、セキュリティについて解説しています。MCP統合のセットアップ、外部ツールの設定、またはClaudeのModel Context Protocolを扱う際にご利用ください。

スキルを見る

web-cli-teleport

デザイン

このスキルは、タスク分析に基づいて開発者がClaude Code WebとCLIインターフェースの選択を支援し、これらの環境間でのシームレスなセッションテレポーテーションを可能にします。Web、CLI、モバイル環境を切り替える際のセッション状態とコンテキストを管理することで、ワークフローを最適化します。様々な段階で異なるツールを必要とする複雑なプロジェクトにご活用ください。

スキルを見る