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 中使用
这个 Skill 的源码在哪？
https://github.com/multiversx/mx-ai-skills
详情
- 分类
- </>开发工具
- 来源
- skills.sh
- 收录时间
- 2026-02-01