audit-prep-assistant

このスキルは、Cairo/StarkNetスマートコントラクトを算術オーバーフローやメッセージング問題など、6つの重大なセキュリティ脆弱性についてスキャンします。スマートコントラクト監査時に使用し、StarkNetプロジェクトにおける一般的なセキュリティ上の欠陥を自動的に検出します。安全なCairoコントラクトを構築またはレビューする開発者にとって特に価値のあるツールです。

このスキルは、任意のCPIや不適切なPDA検証など、6つの重大なセキュリティ脆弱性をSolanaおよびAnchorプログラムに対してスキャンします。開発者はスマートコントラクトの監査時にこれを使用し、一般的なセキュリティ上の欠陥を自動的に特定できます。自動化されたセキュリティ分析を提供し、より安全なSolanaプログラムの構築を支援します。

このスキルは、Trail of Bitsのチェックリストに基づいてトークンの実装と統合を分析し、セキュリティリスクを評価します。ERC20/ERC721規格への準拠性を確認し、異常なトークンパターンを検出し、コントラクトの権限設定や希少性を査定します。プロトコルへのトークン統合時や、非標準的な動作を監査するトークンコントラクトの検証時にご利用ください。

このスキルは、算術オーバーフローや不正なオリジンチェックなど、7つの重要なセキュリティ脆弱性をSubstrate/Polkadotブロックチェーンのパレットに対してスキャンします。SubstrateランタイムやFRAMEパレットの監査時に使用することで、一般的なセキュリティ問題を自動的に検出できます。Polkadot上で安全なスマートコントラクトを構築またはレビューする開発者に最適です。