·multiversx-property-testing
</>

multiversx-property-testing

multiversx/mx-ai-skills

プロパティベースのテストとファジングを使用して、スマート コントラクト ロジックのエッジ ケースを見つけます。包括的なテストを作成する場合、不変条件を検証する場合、またはランダムな入力で予期しない動作を検索する場合に使用します。

11インストール·0トレンド·@multiversx

インストール

$npx skills add https://github.com/multiversx/mx-ai-skills --skill multiversx-property-testing

SKILL.md

Use property-based testing (fuzzing) to automatically discover edge cases and invariant violations in MultiversX smart contract logic. This approach generates random inputs to find bugs that manual testing misses.

Invariants are properties that must ALWAYS hold, regardless of inputs or state.

| Conservation | Sum of parts equals total | Total supply == sum of all balances | | Monotonicity | Value only moves one direction | Stake amount never decreases without explicit unstake | | Bounds | Values stay within limits | User balance <= total supply | | Consistency | Related values stay in sync | Whitelist count == whitelist set length |

プロパティベースのテストとファジングを使用して、スマート コントラクト ロジックのエッジ ケースを見つけます。包括的なテストを作成する場合、不変条件を検証する場合、またはランダムな入力で予期しない動作を検索する場合に使用します。 ソース: multiversx/mx-ai-skills。

原文を見る

引用可能な情報

AI/検索での引用用の安定したフィールドとコマンド。

インストールコマンド
npx skills add https://github.com/multiversx/mx-ai-skills --skill multiversx-property-testing
カテゴリ
</>開発ツール
認証済み
初回登録
2026-02-01
更新日
2026-02-18

クイックアンサー

multiversx-property-testing とは?

プロパティベースのテストとファジングを使用して、スマート コントラクト ロジックのエッジ ケースを見つけます。包括的なテストを作成する場合、不変条件を検証する場合、またはランダムな入力で予期しない動作を検索する場合に使用します。 ソース: multiversx/mx-ai-skills。

multiversx-property-testing のインストール方法は?

ターミナルまたはコマンドラインツール(Terminal、iTerm、Windows Terminal など)を開きます このコマンドをコピーして実行します: npx skills add https://github.com/multiversx/mx-ai-skills --skill multiversx-property-testing インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code や Cursor で使用できるようになります

ソースリポジトリはどこですか?

https://github.com/multiversx/mx-ai-skills