Property-Based Testing (Trail of Bits)
7,303 starsOfficial Trail of Bits skill for writing, reviewing and debugging property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna/Medusa for Solidity invariants — covering whole input domains instead of hand-picked examples.
- First published：2026-01-14
- data as of：
- 2026-09-30
- Licence：
- CC-BY-SA-4.0
When to use it
For encode/decode, serialization and parser logic where invariants should hold across all inputs.
Caution
CC BY-SA 4.0 (share-alike); counterexamples found by property tests still need human triage.
Install prompt
請幫我安裝「Property-Based Testing (Trail of Bits)」技能：從 https://github.com/trailofbits/skills/tree/main/plugins/property-based-testing/skills/property-based-testing（技能路徑：plugins/property-based-testing/skills/property-based-testing/） 取得完整的技能目錄，放進我的 Agent 的技能目錄（例如專案內的 skills/ 資料夾，或該 Agent 文件指明的全域技能位置），確認裡面的 SKILL.md 存在、frontmatter 的 name 與 description 完整，然後列出這個技能宣告的腳本、外部工具與 API 需求，先不要執行任何腳本。Paste this to your agent. It deliberately contains no tool subcommands — check the tool's official docs for commands.
Compatible with
Related patterns