Rust

rust-testing は、Rust のテストパターンを実践的にまとめたガイドです。単体テスト、統合テスト、非同期テスト、プロパティベーステスト、モック、カバレッジまで幅広く扱い、適切なテストの形を選びながら、迷いを減らして TDD ワークフローを進められるようにします。

rust-patterns は、所有権、エラー処理、trait、並行処理、モジュール境界、バックエンド志向の設計判断までをカバーする、実践的でイディオマティックな Rust 開発ガイドです。より安全で、より整理されたコードを書くための指針をまとめています。

memory-safety-patternsは、C・C++・RustでRAII、所有権、スマートポインタ、リソース解放の考え方をエージェントが実践できるよう支援します。バックエンドやシステムコードのレビューに使えば、リークやダングリングポインタの削減に役立ち、ファイル、ソケット、バッファ、FFI境界まわりのより安全なリファクタリング判断を後押しします。

rust-async-patternsは、Tokioを使った非同期Rustを実践的に学べるスキルです。タスク、チャネル、ストリーム、タイムアウト、キャンセル、トレーシング、エラーハンドリングまでをカバーし、バックエンド開発に役立ちます。

libaflスキルは、LibAFLを使ってカスタム対象、ミューテーション戦略、セキュリティ監査のワークフローに対応するモジュール式ファuzzerを計画・構築するのに役立ちます。このlibaflガイドでは、対象の詳細情報から実用的なハーネス、フィードバックモデル、実行計画へ、前提をできるだけ少なくして進められます。

harness-writing は、raw bytes を対象システムに対する意味のある再現可能なテストへ変換する fuzzing ハーネスの設計を支援します。新しい fuzz 対象を作成したいときや、Code Generation タスクで coverage、安定性、バグ検出力を高めたいときに使うスキルです。決定論的な入力パース、有効な呼び出し順序、再現可能なクラッシュに重点を置いています。

coverage-analysis は、ファジング中にどのコードが実行されたかを測定し、magic value チェックのような阻害要因を見つけ、ハーネス変更の差分を比較するのに役立ちます。Security Audit ワークフローで、coverage-analysis の使い方、導入の考え方、再現性のある判断基準が必要なときに適したスキルです。

cargo-fuzz は、Rust/Cargo 向けの fuzzing スキルです。libFuzzer の harness を作成し、sanitizer 対応の実行を有効にして、parser、unsafe、入力処理コードのクラッシュを見つけるのに役立ちます。Cargo ベースのプロジェクトで、セキュリティ監査や回帰テストに向けた実践的な導入・利用ガイドが必要なときに、この cargo-fuzz ガイドを使ってください。

address-sanitizer は、テスト、ファジング、クラッシュの切り分け時に AddressSanitizer（ASan）を導入・活用し、メモリ安全性のバグを見つけるのに役立ちます。C/C++、Rust の unsafe コード、セキュリティ監査のワークフローで、再現性のあるスタックトレースと、原因を把握しやすい失敗シグナルが必要なときに有用です。

property-based-testing のスキルガイドです。言語やスマートコントラクトにまたがる PBT の作成、レビュー、改善に役立ちます。この property-based-testing ガイドでは、ラウンドトリップ、冪等性、不変条件、パーサー、バリデーター、正規化の観点を見つけ、ジェネレーターを選び、property-based-testing が例ベースのテストより有効かどうかを判断できます。

entry-point-analyzer は、スマートコントラクトのコードベースにある状態変更系のエントリーポイントを、セキュリティ監査のために整理・把握するのに役立ちます。外部から呼び出せて状態を変更する関数を特定し、アクセス権限ごとに分類し、view、pure、その他の読み取り専用パスを除外します。Solidity、Vyper、Solana、Move、TON、CosmWasm の各プロジェクトで、呼び出し面の対象を絞って把握したいときに使うガイドです。

constant-time-analysis は、暗号コードに潜むタイミング系サイドチャネルのリスクを、実害のあるバグになる前に見つけるためのセキュリティ監査スキルです。C、C++、Go、Rust、Swift、Java、Kotlin、PHP、JavaScript、TypeScript、Python、Ruby を確認する際に、秘密値に依存する計算、分岐、比較、そしてコンパイル後の出力をレビューするのに使えます。

substrate-vulnerability-scanner は、Substrate と FRAME の pallet を監査し、算術オーバーフロー、panic による DoS、不適切な origin チェック、誤った weight、unsafe な unsigned extrinsics などの重大な問題を洗い出すのに役立ちます。ランタイム、pallet extrinsics、weight ロジックの Security Audit レビューで、この substrate-vulnerability-scanner スキルを活用してください。

solana-vulnerability-scanner は、ネイティブ Rust と Anchor プログラムに特化した Solana セキュリティ監査スキルです。CPI ロジック、PDA 検証、署名者と所有権のチェック、sysvar なりすましを確認し、デプロイ前に Solana 特有の6つの重大な脆弱性を見つけるのに役立ちます。

cosmos-vulnerability-scanner は、Cosmos SDK モジュール、CosmWasm コントラクト、IBC 統合、Cosmos EVM スタックに潜むコンセンサス重大バグを見つけます。セキュリティ監査のワークフロー、チェーン停止リスク、資金流出につながる経路、リリース前レビューでは、この cosmos-vulnerability-scanner ガイドを活用してください。

audit-prep-assistantは、Trail of Bitsのチェックリストを使ってSecurity Auditに向けたコードベースの準備を支援するskillです。レビュー目標の整理、静的解析の実行、テストカバレッジの向上、不要コードの削除、リスクの文書化、補助資料の生成までをサポートし、よりスムーズな監査引き継ぎにつなげます。

azure-storage-blob-rust は、Azure Blob Storage を使う Rust バックエンド開発向けの実用的なスキルです。インストール手順、公式の `azure_storage_blob` クレート、`AZURE_STORAGE_ENDPOINT` の設定、RBAC 認証、アップロード・ダウンロード・コンテナー管理・Blob 一覧取得といった基本的な使い方をカバーします。

azure-keyvault-secrets-rust は、Azure Key Vault Secrets を扱うための Rust skill です。公式の `azure_security_keyvault_secrets` crate を使って、シークレットの保存、読み取り、更新、削除、メタデータ一覧取得をカバーします。さらに、認証、`AZURE_KEYVAULT_URL` の設定、バックエンド開発で役立つ実践的なガイダンスも含みます。

azure-keyvault-keys-rust は、Rust バックエンド開発向けの Azure Key Vault Keys skill です。Azure Identity と AZURE_KEYVAULT_URL を使って、公式の `azure_security_keyvault_keys` crate で HSM 保護キーの作成、管理、ラップ、署名、検証、利用を行うための案内を提供します。

azure-keyvault-certificates-rust は、Rust のバックエンド開発者が Azure Key Vault の X.509 証明書を作成・管理・利用するためのスキルです。自己署名証明書と CA 発行証明書の両方のフローを扱い、公式の `azure_security_keyvault_certificates` クレートを中心に、インストール、認証、長時間実行の発行処理、正しい証明書クライアントの使い方までカバーします。

azure-eventhub-rust は、Azure Event Hubs 向けの Rust スキルです。公式の `azure_messaging_eventhubs` crate を使って、バックエンド開発者がストリーミングイベントの送信、バッチ処理、受信を行えるようにします。インストール方法、環境設定、コンシューマーの開始位置、実践的な使い方まで案内します。

azure-cosmos-rustは、Rustプロジェクト向けのAzure Cosmos DB NoSQLスキルです。導入前提のガイドとして、azure_data_cosmos を使った公式クレートの選定、`COSMOS_ENDPOINT` の設定、認証、パーティションを意識したCRUD、そしてDatabase Engineeringワークフロー向けのRoutingStrategyまで扱います。

makepad-2.0-events は、Frontend Development におけるイベントとアクションの扱いを支援する Makepad 2.0 向けスキルです。on_click、on_render、MatchEvent、script_eval! のどの層で処理するのが適切かを見極めやすくし、UI の操作を Rust の状態更新へ、迷いを減らしながらつなげられるようにします。インストール、使い方、ワークフローのガイドとして活用できます。

makepad-2.0-dsl は、Makepad 2.0 DSL の `script_mod!` UI コードを読み、書き、修正するための実用的なスキルです。フロントエンド開発者や Rust の UI 作成者が、コロン記法、名前付きインスタンス、マージの挙動、Rust バインディングを正しく扱えるようにし、インストールと使い方まで含めた分かりやすい makepad-2.0-dsl ガイドを提供します。