在创建新技能、编辑现有技能或在部署前验证技能工作时使用——通过在编写前使用子代理进行测试来将TDD应用于流程文档，进行迭代直到能完全防止合理化
无需复杂配置，快速集成到您的工作流
来自活跃的开源社区，持续更新维护
MIT/Apache 许可，商用个人均可使用
可根据需求自定义和扩展功能
从源仓库下载或复制 skill 文件到您的项目中。
将 skill 文件放置到 Claude 的 skills 目录中（通常是 ~/.claude/skills/）。
重启 Claude 或运行重载命令，skill 将自动加载并可供使用。
提示： 首次使用前请仔细阅读 skill 的文档和代码，确保理解其功能和权限要求。
所有 Skills 来自开源社区，保留原作者版权
obra__superpowers/skills/writing-skills/SKILL.md经过验证的优势和可衡量的影响
通过形式化验证，在部署前捕获漏洞
自动化证明检查，加速安全审查
确保所有关键路径都有正式的规范说明
适用于以下场景
使用形式化方法自动验证 Move 合约的正确性
通过编写形式化规范，及早捕获关键缺陷
证明复杂的 DeFi 协议满足全局不变量
在专家指导下修复失败的 Move Prover 证明