OpenRouter API - 通过一个API统一访问400多种AI模型
你将成为
适用于以下场景
验证基于 Move 的智能合约的正确性并防止漏洞。
使用 Move Prover 调试技术来识别和修复证明错误。
使用不变量、前置条件和后置条件编写精确的规约。
利用 pragma 指令和量词来提升验证性能。
装备后的数字
经过验证的优势和可衡量的影响
通过自动化形式化验证，减少手动审计所花费的时间。
通过 Move Prover 严谨的证明检查，及早发现关键错误。
通过可复用的模式结构和辅助函数，加速开发进程。
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Anthropic Claude API、模型、提示词工程、函数调用、视觉和最佳实践方面的专家。在anthropic、claude、api、prompt、function calling、vision、messages api、embeddings这些关键词上触发。
验证 OpenAPI、Swagger 和 GraphQL 架构与后端实现是否匹配。检测破坏性更改、生成 TypeScript 客户端，并确保 API 文档保持同步。在处理 API 规范文件（.yaml、.json、.graphql）、审查 API 变更、生成前端类型或验证端点实现时使用。