Property-Based Testing (Trail of Bits)
7,303 starsTrail of Bits 官方技能：撰寫、審查與除錯屬性測試——Hypothesis、fast-check、proptest、jqwik、rapid，以及 Solidity 用的 Echidna/Medusa，用整個輸入域取代手挑例子。
- 首次公開：2026-01-14
- 數據截至：
- 2026-09-30
- 授權：
- CC-BY-SA-4.0
什麼時候用
編解碼、序列化、parser 這類「對所有輸入都該成立」的邏輯要測試時。
要注意
CC BY-SA 4.0（相同方式分享）；屬性測試發現的 counterexample 仍需人工判斷嚴重性。
安裝提示詞
請幫我安裝「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 需求，先不要執行任何腳本。把這段貼給你的 agent。它刻意不含任何工具子命令 —— 指令請以該工具的官方文件為準。
相容工具
相關範式