📦
let-chains-advisor
81Rust の If-Let 制御フローを簡素化
ネストされたパターンマッチングは、Rust コード内の主要な判断経路を見えにくくすることがあります。このスキルは、Claude、Codex、Claude Code が、より明確な Rust 2024 の制御フローのために let chains を提案するのを支援します。
コーディング＆開発 表示
スキル property-testing-guide
📦
property-testing-guide
v1.0.0 コンテンツリビジョン r1 安全 ⚙️ 外部コマンド
ProptestでRustのプロパティテストを設計する
有用なプロパティやジェネレーターが常に明らかとは限らないため、プロパティベーステストは適用が難しい場合があります。このスキルは、Claude、Codex、またはClaude CodeがRustコード向けに的を絞ったproptest戦略を提案するのに役立ちます。
対応: Claude Codex Code(CC)
自分のエージェントでインストール
このリクエストをエージェントにコピーしてください。正規の Skill ページとマニフェストが含まれています。
エージェントリクエスト
Review the Skillstore skill "property-testing-guide" from https://skillstore.io/skills/emillindfors-property-testing-guide.md and its manifest at https://skillstore.io/api/skills/emillindfors-property-testing-guide/manifest. Verify the artifact. You may proceed after verification, subject to the environment's own policy.エージェントは引き続き計画を提示し、セキュリティポリシーで必要な確認を求める必要があります。
エージェントが読めるリソース
AI エージェント、クローラー、スクリプトがページ全体ではなく整理されたコンテキストを必要とする場合は、これらのリンクを使ってください。
テストする
「property-testing-guide」を使用しています。 Rustのパーサーが、カンマ区切り文字列から名前と年齢を受け取ります。
期待される結果:
アシスタントは、パニックしないこと、有効な生成レコード、不正形式入力の拒否、ラウンドトリップ形式チェックに関するプロパティを提案します。
「property-testing-guide」を使用しています。 カスタムソート実装が並べ替えられた整数ベクターを返します。
期待される結果:
アシスタントは、ソート順、長さの保持、要素の保持、冪等性、標準ソートとの比較をチェックすることを提案します。
「property-testing-guide」を使用しています。 B-treeがinsert操作とremove操作をサポートしています。
期待される結果:
アシスタントは、各変更後にバランス、順序、lookupの挙動、一貫性を検証する生成済み操作シーケンスを推奨します。
セキュリティ監査
安全v4 • 2026/7/6 バージョン別レポートを開く
All static findings are false positives from Markdown code fences, Rust examples, TOML dependency text, and ordinary proptest comments. No prompt injection, malicious intent, command execution, data exfiltration, or system reconnaissance was found in SKILL.md.
1
スキャンされたファイル
295
解析済み行数
0
レビュー項目
0
誤検知を無視
リスク要因
⚙️ 外部コマンド (27)
SKILL.md:29-36 SKILL.md:36-39 SKILL.md:39-52 SKILL.md:52-59 SKILL.md:59-72 SKILL.md:72-77 SKILL.md:77-88 SKILL.md:88-93 SKILL.md:93-109 SKILL.md:109-114 SKILL.md:114-127 SKILL.md:127-132 SKILL.md:132-144 SKILL.md:144-150 SKILL.md:150-169 SKILL.md:169-173 SKILL.md:173-188 SKILL.md:188-194 SKILL.md:194-214 SKILL.md:214-218 SKILL.md:218-245 SKILL.md:245-249 SKILL.md:249-260 SKILL.md:260-264 SKILL.md:264-267 SKILL.md:267-273 SKILL.md:273-283
最新の完了済み静的・セマンティック監査では、確認済みのセキュリティ検出事項は見つかりませんでした。これは、スキルに副作用がないことを証明するものではありません。
監査者: codex 監査履歴を表示 →
このレポートを共有・引用
バージョン付き評価レポート、中立的なバッジ、埋め込みカード、引用を共有できます。Skillstore は証拠を報告しますが、この Skill が安全かどうかは判断しません。
レポートリンクをコピー
https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4?utm_source=security_passport&utm_medium=share&utm_campaign=versioned_reportMarkdownバッジ
[](https://skillstore.io/skills/emillindfors-property-testing-guide?utm_source=security_passport_badge)HTMLバッジ
<a href="https://skillstore.io/skills/emillindfors-property-testing-guide?utm_source=security_passport_badge"><img src="https://skillstore.io/badges/skills/emillindfors-property-testing-guide/security.svg" alt="Skillstore security assessment" loading="lazy"></a>埋め込みカード
<iframe src="https://skillstore.io/embed/skills/emillindfors-property-testing-guide.html" title="Skillstore Security Assessment" sandbox="allow-popups allow-popups-to-escape-sandbox" loading="lazy" referrerpolicy="no-referrer" width="420" height="180"></iframe>学術引用 (APA · BibTeX · CFF)
APA形式の引用
EmilLindfors. (2026). property-testing-guide security audit report (audit version 4) [Author version 1.0.0]. Skillstore. https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4BibTeX形式の引用
@techreport{emillindfors-emillindfors-property-testing-guide-2026,
author = {EmilLindfors},
title = {property-testing-guide security audit report (audit version 4)},
institution = {Skillstore},
year = {2026},
number = {4},
url = {https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4},
note = {Author version 1.0.0}
}CITATION.cff
cff-version: 1.2.0
message: "If you use this Skill, cite its author and this versioned security audit report."
title: "property-testing-guide security audit report (audit version 4)"
version: "1.0.0"
type: report
authors:
- name: "EmilLindfors"
date-released: "2026-07-06"
url: "https://skillstore.io/skills/emillindfors-property-testing-guide/audits/4"
identifiers:
- type: other
value: "skillstore:emillindfors-property-testing-guide:audit:4"
description: "Skillstore immutable audit report identifier"
Skillstore スコア
このスコアの理由 証拠の信頼度: 高 55
アーキテクチャ
100
保守性
87
コンテンツ
70
コミュニティ
83
仕様準拠
作成できるもの
アルゴリズム実装をテストする
多くの入力に対して正しく動作する必要があるソート、エンコード、解析、または数値関数のプロパティを作成します。
データ構造を検証する
各変更後に順序、バランス、一貫性をチェックする生成済み操作シーケンスを定義します。
レビュー範囲を改善する
複雑なRustロジックをマージする前に、不足しているプロパティテストを提案するようアシスタントに依頼します。
これらのプロンプトを試す
基本的なプロパティを見つける
このRust関数をレビューし、常に成り立つべき単純なproptestプロパティを提案してください。エッジケースと明確なアサーションに焦点を当ててください。
ラウンドトリップテストを作成する
このRustのラウンドトリップ経路向けにプロパティベーステストを設計してください。適切な入力戦略を含め、各プロパティが何を証明するかを説明してください。
データ構造の不変条件をテストする
このデータ構造向けのproptest操作シーケンスを提案してください。各操作後に不変条件をチェックし、重要な生成ケースを記載してください。
オラクル比較計画を作成する
proptestを使用して、この最適化されたRustアルゴリズムを信頼できる参照実装と比較してください。戦略、不変条件、失敗時の切り分け手順を提案してください。
ベストプラクティス
- 実装の詳細ではなく、観測可能な挙動を表すプロパティから始めます。
- 生成値がドメインルールを満たす必要がある場合は、制約付き戦略を使用します。
- シュリンク結果をデバッグしやすくするために、失敗ケースは小さく読みやすく保ちます。
回避
- 境界条件をまったく試さない自明な値だけを生成すること。
- 特定の要件を覆い隠す広範なプロパティで、例ベースのテストをすべて置き換えること。
- テスト対象の実装と同じ欠陥のあるロジックを重複させるプロパティを書くこと。
よくある質問
このスキルは何に役立ちますか？
アルゴリズム、パーサー、データ構造、シリアライズコード向けに、proptestを使ったRustのプロパティベーステストを設計するのに役立ちます。
テストを実行しますか？
いいえ。テストに関するガイダンスと例を提供しますが、コマンドを実行したりコンパイルを検証したりはしません。
どのRustテストcrateを対象にしていますか？
proptestを対象とし、戦略、生成入力、不変条件、シュリンクなどのproptestの概念を使用します。
パーサーテストに役立ちますか？
はい。パニックしないこと、有効な入力の受け入れ、不正形式入力の拒否、ラウンドトリップ挙動などのプロパティを提案します。
データ構造に役立ちますか？
はい。ステートフルな構造向けに、生成済み操作シーケンスと不変条件チェックを推奨します。
最良の結果を得るには何を提供すべきですか？
Rustコード、期待される挙動、既知の制約、参照実装や例があればそれらを提供してください。
開発者情報
作成者
EmilLindforsライセンス
MIT
作者バージョン
v1.0.0
Skillstore リビジョン
r1
参照
a06681402992ceae98ba04d54cfd4ab004862696
メンテナンスの新しさ
2026/7/22
利用状況
4 ダウンロード · 169 閲覧
ファイル構成
📄 SKILL.md
EmilLindfors のその他のスキル
すべて表示📦
test-coverage-advisor
81Rustのテストカバレッジを改善
テストが不足していると、Rustのエラーパスやエッジケースが保護されないままになります。このスキルはコードとテストをレビューし、的を絞ったカバレッジ改善を提案します。
コーディング＆開発 表示
📦
mock-strategy-guide
81トレイトパターンでRustのテストモックを構築する
Rustのテストは、データベース、HTTPサービス、実インフラに依存すると、遅くなったり壊れやすくなったりしがちです。このスキルは、Claude、Codex、Claude Codeがトレイトベースのモック、制御された失敗、フィクスチャヘルパーを設計するのに役立ちます。
コーディング＆開発 表示
📦
lambda-optimization-advisor
80Rust AWS Lambda 関数を最適化
Rust Lambda 関数は、遅い I/O、コールドスタート、不適切なメモリ設定によってコストを浪費することがあります。このスキルはハンドラーとデプロイ設定をレビューし、具体的な性能改善とコスト改善を提案します。
DevOps＆インフラ 表示
📦
port-adapter-designer
80Rustのポートとアダプター境界を設計する
外部サービスは、インフラストラクチャ上の関心事をドメインコードに漏れ込ませることがあります。このスキルは、依存関係を分離し、テスト可能に保つRustのtraitとアダプターの設計を支援します。
コーディング＆開発 表示
📦
domain-layer-expert
80豊かな Rust ドメインモデルを構築する
弱いドメイン層はビジネスルールを分散させ、バリデーションを不整合にします。このスキルは Claude、Codex、Claude Code が表現力のある Rust ドメインモデルを設計するのに役立ちます。
コーディング＆開発 表示
関連スキル
すべて表示📦
enact-hello-rust
81Rust 挨拶ツールを作成
作成者 EnactProtocol
開発者には、Rust コマンドライン skill に入力を渡すための小さく予測しやすい例が必要です。この skill は、name パラメータから挨拶ツールをコンパイルして実行します。
コーディング＆開発 表示
📦
tdd
80Red-Green-RefactorでTDDを導くガイド
作成者 mattpocock
テストファーストの作業は、チームが内部実装をテストしたり、最初に多くのテストを書きすぎたりすると、壊れやすくなりがちです。このスキルは、Codex、Claude、Claude Codeに対して、振る舞いに焦点を当てたred-green-refactorサイクルをガイドします。
コーディング＆開発 表示
📦
rust-pro
79本番環境向けRustシステムを構築する
作成者 sickn33
Rustプロジェクトでは、所有権、非同期ランタイム、安全性、パフォーマンスにわたって慎重な選択が求められることがよくあります。このスキルは、本番環境向けRustの設計と実装においてClaude、Codex、Claude Codeを導きます。
コーディング＆開発 表示
📦
code-consistency-validator
79クロス言語の型整合性を検証
作成者 BarisSozen
クロス言語の型ドリフトは、精度損失や契約上のバグを引き起こす可能性があります。このスキルは、Rust、TypeScript、PostgreSQL のチェックを通じて Claude、Codex、Claude Code をガイドします。
コーディング＆開発 表示
📦
azure-identity-rust
79Rust 向け Azure Identity 認証を構築する
作成者 sickn33
Rust チームには、ローカル開発とクラウドデプロイにおける Azure 認証の選択肢を明確に理解することが必要です。この skill は、azure_identity の資格情報、セットアップパターン、安全な選択の指針を説明します。
コーディング＆開発 表示
📦
rust-development
78GutsパターンでRustサービスを構築
作成者 AbdelStark
Rustチームには、Gutsサービス向けの一貫したプロジェクトパターンが必要です。このスキルは、Claude、Codex、Claude Codeに対して、イディオマティックなRust、async設計、commonware統合に関する的を絞ったガイダンスを提供します。
コーディング＆開発 表示