OpenRouter API - 1つのAPIで400以上のAIモデルに統合アクセス
複雑な設定不要で、ワークフローに素早く統合
アクティブなオープンソースコミュニティによる継続的な更新
MIT/Apacheライセンスで商用・個人利用可
ニーズに応じてカスタマイズ・拡張可能
ソースリポジトリからスキルファイルをダウンロードまたはコピー
スキルファイルをClaudeのスキルディレクトリに配置(通常は ~/.claude/skills/)。
Claudeを再起動するか、リロードコマンドを実行してスキルを読み込みます
ヒント: 初回使用前にスキルのドキュメントとコードを注意深く読み、機能と権限要件を理解してください
すべてのスキルはオープンソースコミュニティから提供され、元の作者の著作権を保持しています
rawveg__skillsforge-marketplace/openrouter/skill.md実証済みのメリットと測定可能な影響
形式的検証を自動化し、手動監査にかかる時間を削減します。
Move Proverの厳格な証明チェックにより、クリティカルなバグを早期に発見。
再利用可能なスキーマパターンとヘルパー関数で開発を加速します。
これらのシナリオに最適
Moveベースのスマートコントラクトの正当性を検証し、脆弱性を防止します。
Move Proverのデバッグ技術を使って、証明エラーを特定し修正します。
不変条件、前置条件、および後置条件を用いて、正確な仕様を記述します。
プラグマ指令と量化子を活用して検証のパフォーマンスを向上させます。