Move Prover形式検証の専門家 - 仕様言語(MSL)、前提条件、事後条件、不変条件、aborts_if、ensures、requires、modifies、emits、グローバル不変条件、スキーマパターン、量化子、ヘルパー関数、プラグマディレクティブ、検証戦略、および証明のデバッグ。キーワード move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma でトリガーされる。
複雑な設定不要で、ワークフローに素早く統合
アクティブなオープンソースコミュニティによる継続的な更新
MIT/Apacheライセンスで商用・個人利用可
ニーズに応じてカスタマイズ・拡張可能
ソースリポジトリからスキルファイルをダウンロードまたはコピー
スキルファイルをClaudeのスキルディレクトリに配置(通常は ~/.claude/skills/)。
Claudeを再起動するか、リロードコマンドを実行してスキルを読み込みます
ヒント: 初回使用前にスキルのドキュメントとコードを注意深く読み、機能と権限要件を理解してください
すべてのスキルはオープンソースコミュニティから提供され、元の作者の著作権を保持しています
raintree-technology__claude-starter/.claude/skills/aptos/move-prover/Skill.md実証済みのメリットと測定可能な影響
自動書式設定により、複雑なスプレッドシートを数時間から数分で生成します。
AIを活用した検証と自動再計算で、数式の間違いを防止します
手動処理なしで、生データからインサイトと可視化を即座に生成
これらのシナリオに最適
自動計算式とプロフェッショナルな書式設定で、複雑な財務モデルを作成
販売データを分析し、ピボットテーブルとグラフでインタラクティブなダッシュボードを生成する
自動在庫計算とアラート機能を備えたリアルタイムの在庫管理表を維持する
生データを、一貫したレイアウトと数式を持つフォーマット済みレポートに変換します