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 等可复现示例。