property-based-testing：Trail of Bits 把屬性測試寫成可複用的 Agent Skill

Trail of Bits 的 property-based-testing 是一份跨語言、含智能合約的屬性測試指導 Skill。它教 Agent 識別編解碼、解析、歸一化和合約不變量，按往返、冪等等性質寫測試，並在失敗時區分測試錯誤與真 bug。文章依據官方 SKILL.md、插件 README 與市場倉庫，說明 Claude Code / Codex 安裝、npx skills add，以及 Hypothesis 等可復現示例。