pashov/skills
Pashov Audit Group Skills
解決する課題
このプロジェクトは、Solidityスマートコントラクトのセキュリティ監査を自動化・強化するために設計されたAI駆動型ツールセットを提供し、開発者や監査人が脆弱性を発見し、テストスイートをより効率的に作成できるよう支援します。
仕組み
Claude Code, Cursor, Codex, GitHub Copilot, WindsurfといったAIコーディングプラットフォームと統合される「スキル」やプロンプトベースのツール群として機能します。ユーザーは、事前監査スキャン用の "x-ray" や脆弱性検出用の "solidity auditor" などのコマンドを実行することで、特定のセキュリティワークフローをトリガーできます。
対象ユーザー
Solidityで記述されたFoundryまたはHardhatプロジェクトのセキュリティを確保する必要があるスマートコントラクト開発者およびセキュリティ監査人。
ハイライト
- Solidity Auditor: 数百件の重大（Critical）および高（High）レベルの脆弱性を特定してきたAIセキュリティ監査ツール。
- X-Ray: 脅威モデリングの実行、不変量（invariants）の特定、エントリーポイントのマッピング、git履歴の分析を行う事前監査ツール。
- Fizz: スマートコントラクトプロジェクト向けに、包括的な Echidna または Medusa ファジングスイートを自動生成するツール。
関連
- プロジェクト
- プロジェクト
- プロジェクト
- プロジェクト