OpenRouter API - 通过一个API统一访问400多种AI模型
无需复杂配置，快速集成到您的工作流
来自活跃的开源社区，持续更新维护
MIT/Apache 许可，商用个人均可使用
可根据需求自定义和扩展功能
从源仓库下载或复制 skill 文件到您的项目中。
将 skill 文件放置到 Claude 的 skills 目录中（通常是 ~/.claude/skills/）。
重启 Claude 或运行重载命令，skill 将自动加载并可供使用。
提示： 首次使用前请仔细阅读 skill 的文档和代码，确保理解其功能和权限要求。
所有 Skills 来自开源社区，保留原作者版权
rawveg__skillsforge-marketplace/openrouter/skill.md经过验证的优势和可衡量的影响
通过自动化形式化验证，减少手动审计所花费的时间。
通过 Move Prover 严谨的证明检查，及早发现关键错误。
通过可复用的模式结构和辅助函数，加速开发进程。
适用于以下场景
验证基于 Move 的智能合约的正确性并防止漏洞。
使用 Move Prover 调试技术来识别和修复证明错误。
使用不变量、前置条件和后置条件编写精确的规约。
利用 pragma 指令和量词来提升验证性能。