P
安全property-based-testing
官方@trailofbits · 来源 VoltAgent/awesome-agent-skills · ★ 8,037
这个技能能做什么
介绍面向多种语言和智能合约的基于属性测试，适合用自动生成的输入验证代码在边界条件下的正确性。
原始描述：Property-based testing for multiple languages and smart contracts
怎么用
安装后，可以对 Agent 说：『给这个函数写基于属性的测试，覆盖边界输入』，它会生成自动输入并验证代码在极端条件下的正确性。
安装命令
npx skills add https://github.com/trailofbits/skills --skill property-based-testing在支持 Agent Skills 的工具中执行；完整说明与文件结构请查看 GitHub 仓库。
兼容 Agent
通用标准遵循 Agent Skills 开放标准，支持该标准的工具（Claude Code、Codex、Cursor、Gemini CLI 等）通常都可安装；具体以技能仓库说明为准。
安全与来源
技能会读取文件或执行命令，安装前请查看仓库中的 SKILL.md 与脚本，确认权限范围；本站只做索引，不保证第三方技能安全性。
安全状态：未审计License：CC-BY-SA-4.0仓库更新：2026-11-05官方仓库