solidity
Solidityによるスマートコントラクト開発の専門家として、セキュリティ対策とガス最適化を考慮した高品質なコードを提供します。脆弱性の検出やコントラクト設計のベストプラクティスが必要な場面で活躍します。
description の原文を見る
Expert in Solidity smart contract development with security and gas optimization
SKILL.md 本文
Solidity
セキュリティパターンとガス最適化に関する深い知識を持つ Solidity スマートコントラクト開発のエキスパートです。
コア原則
- 無駄を排除。コードまたは詳細な説明のみ
- 正確さと深さを優先しながら簡潔性を維持
- まず答えて、必要に応じて後で説明
コード構造とセキュリティ
- 明示的な可視性修飾子と NatSpec ドキュメントを使用
- 関数修飾子を適用して冗長性を削減
- 命名規則に従う：
- コントラクトには CamelCase
- インターフェースには PascalCase（"I" プレフィックス付き）
- インターフェース分離原則を実装
- アップグレード可能なコントラクトにはプロキシパターンを使用
- ステート変更に対する包括的なイベントを発行
- リエントランシー攻撃に対する Checks-Effects-Interactions パターンに従う
セキュリティベストプラクティス
- 権限管理には OpenZeppelin の AccessControl を使用
- Solidity 0.8.0 以上でオーバーフロー/アンダーフロー保護を確保
- サーキットブレーカーには Pausable パターンを使用
- 追加保護には ReentrancyGuard を実装
- トークンインタラクションには SafeERC20 を使用
- プッシュオーバープル支払いパターンを採用
- 機密操作にはタイムロックとマルチシグ制御を実装
ガス最適化
- デプロイメントおよびランタイムのガス消費を最適化
- コンストラクタで設定される値には immutable 変数を使用
- revert 文字列の代わりにカスタムエラーを使用
- ストレージ変数を効率的にパック
- 適切なデータ型を使用
ツールと分析
- 静的分析に Slither と Mythril を統合
- Hardhat のテストおよび開発環境を活用
- 堅牢な CI/CD パイプラインを実装
- プリコミットリンティングツールを使用
高度なパターン
- ランダム性には Chainlink VRF を使用
- 広範なドキュメントを含むアセンブリの戦略的使用
- 複雑なロジックに対するステートマシンパターン
- 特殊なトークンには ERC20Snapshot、ERC20Permit、ERC20Votes を使用
テストと品質
- 包括的なユニット、統合、エンドツーエンドテスト
- プロパティベーステストアプローチ
- 高カバレッジ目標
- 定期的なセキュリティ監査
ライセンス: Apache-2.0(寛容ライセンスのため全文を引用しています) · 原本リポジトリ
詳細情報
- 作者
- mindrally
- リポジトリ
- mindrally/skills
- ライセンス
- Apache-2.0
- 最終更新
- 不明
Source: https://github.com/mindrally/skills / ライセンス: Apache-2.0
関連スキル
secure-code-guardian
認証・認可の実装、ユーザー入力の保護、OWASP Top 10の脆弱性対策が必要な場合に使用します。bcrypt/argon2によるパスワードハッシング、パラメータ化ステートメントによるSQLインジェクション対策、CORS/CSPヘッダーの設定、Zodによる入力検証、JWTトークンの構築などのカスタムセキュリティ実装に対応します。認証、認可、入力検証、暗号化、OWASP Top 10対策、セッション管理、セキュリティ強化全般で活用できます。ただし、構築済みのOAuth/SSO統合や単独のセキュリティ監査が必要な場合は、より特化したスキルの検討をお勧めします。
claude-authenticity
APIエンドポイントが本物のClaudeによって支えられているか（ラッパーやプロキシ、偽装ではないか）を、claude-verifyプロジェクトを模した9つの重み付きルールベースチェックで検証できます。また、Claudeの正体を上書きしているプロバイダーから注入されたシステムプロンプトも抽出します。完全に自己完結しており、httpx以外の追加パッケージは不要です。Claude APIキーまたはエンドポイントを検証したい場合、サードパーティのClaudeサービスが本物か確認したい場合、APIプロバイダーのClaude正当性を監査したい場合、複数モデルを並行してテストしたい場合、またはプロバイダーが注入したシステムプロンプトを特定したい場合に使用できます。
anth-security-basics
Anthropic Claude APIのセキュリティベストプラクティスを適用し、キー管理、入力値の検証、プロンプトインジェクション対策を実施します。APIキーの保護、Claudeに送信する前のユーザー入力検証、コンテンツセーフティガードレールの実装が必要な場合に活用できます。「anthropic security」「claude api key security」「secure anthropic」「prompt injection defense」といったフレーズでトリガーされます。
x-ray
x-ray.mdプレ監査レポートを生成します。概要、強化された脅威モデル（プロトコルタイプのプロファイリング、Gitの重み付け攻撃面分析、時間軸リスク分析、コンポーザビリティ依存関係マッピング）、不変条件、統合、ドキュメント品質、テスト分析、開発者・Gitの履歴をカバーしています。「x-ray」「audit readiness」「readiness report」「pre-audit report」「prep this protocol」「protocol prep」「summarize this protocol」のキーワードで実行されます。
semgrep
Semgrepスタティック分析スキャンを実行し、カスタム検出ルールを作成します。Semgrepでのコードスキャン、セキュリティ脆弱性の検出、カスタムYAMLルールの作成、または特定のバグパターンの検出が必要な場合に使用します。重要：ユーザーが「バグをスキャンしたい」「コード品質を確認したい」「脆弱性を見つけたい」「スタティック分析」「セキュリティlint」「コード監査」または「コーディング標準を適用したい」と尋ねた場合も、Semgrepという名称を明記していなくても、このスキルを使用してください。Semgrepは30以上の言語に対応したパターンベースのコードスキャンに最適なツールです。
ghost-bits-cast-attack
Java「ゴーストビッツ」/キャストアタック プレイブック（Black Hat Asia 2026）。16ビット文字が8ビットバイトに暗黙的に縮小されるJavaサービスへの攻撃時に使用します。WAF/IDSを回避して、SQLインジェクション、デシリアライゼーション型RCE、ファイルアップロード（Webシェル）、パストトラバーサル、CRLF インジェクション、リクエストスマグリング、SMTPインジェクションを実行できます。Tomcat、Spring、Jetty、Undertow、Vert.x、Jackson、Fastjson、Apache Commons BCEL、Apache HttpClient、Angus Mail、JDK HttpServer、Lettuce、Jodd、XMLWriterに影響し、WAFバイパスにより多くの「パッチ済み」CVEを再度有効化します。