OpenRouter API - 1つのAPIで400以上のAIモデルに統合アクセス
あなたが手に入れるもの
これらのシナリオに最適
Moveベースのスマートコントラクトの正当性を検証し、脆弱性を防止します。
Move Proverのデバッグ技術を使って、証明エラーを特定し修正します。
不変条件、前置条件、および後置条件を用いて、正確な仕様を記述します。
プラグマ指令と量化子を活用して検証のパフォーマンスを向上させます。
測定された効果
実証済みのメリットと測定可能な影響
形式的検証を自動化し、手動監査にかかる時間を削減します。
Move Proverの厳格な証明チェックにより、クリティカルなバグを早期に発見。
再利用可能なスキーマパターンとヘルパー関数で開発を加速します。
装備内容
ファイル・タグ・3ステップのインストール
ヒント: 初回使用の前にドキュメントとコードを読み、機能と必要な権限を確認してください。
次のスクリプト
タグとカテゴリーに基づくおすすめ
Anthropic Claude API、モデル、プロンプトエンジニアリング、関数呼び出し、ビジョン、およびベストプラクティスの専門家。anthropic、claude、api、prompt、function calling、vision、messages api、embeddings でトリガーされます。
OpenAPI、Swagger、GraphQLのスキーマがバックエンドの実装と一致することを検証します。破壊的な変更を検出し、TypeScriptクライアントを生成し、APIドキュメントが同期された状態を維持します。API仕様ファイル(.yaml、.json、.graphql)で作業する場合、APIの変更をレビューする場合、フロントエンドの型を生成する場合、またはエンドポイントの実装を検証する場合に使用します。