Move Prover形式検証の専門家 - 仕様言語（MSL）、前提条件、事後条件、不変条件、aborts_if、ensures、requires、modifies、emits、グローバル不変条件、スキーマパターン、量化子、ヘルパー関数、プラグマディレクティブ、検証戦略、および証明のデバッグ。キーワード move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma でトリガーされる。
あなたが手に入れるもの
これらのシナリオに最適
自動計算式とプロフェッショナルな書式設定で、複雑な財務モデルを作成
販売データを分析し、ピボットテーブルとグラフでインタラクティブなダッシュボードを生成する
自動在庫計算とアラート機能を備えたリアルタイムの在庫管理表を維持する
生データを、一貫したレイアウトと数式を持つフォーマット済みレポートに変換します
測定された効果
実証済みのメリットと測定可能な影響
自動書式設定により、複雑なスプレッドシートを数時間から数分で生成します。
AIを活用した検証と自動再計算で、数式の間違いを防止します
手動処理なしで、生データからインサイトと可視化を即座に生成
装備内容
ファイル・タグ・3ステップのインストール
ヒント： 初回使用の前にドキュメントとコードを読み、機能と必要な権限を確認してください。
次のスクリプト
タグとカテゴリーに基づくおすすめ
Claude Codeエージェント生成システムは、実績のあるプロダクションパターンに従い、強化されたYAMLフロントマター、ツールアクセスパターン、およびMCP統合サポートを備えたカスタムエージェントとサブエージェントを作成するシステムです。
Aptos上のMoveスマートコントラクトのテスト、ユニットテスト、統合テスト、Move Proverの形式検証、デバッグ戦略、テストカバレッジに関する専門家。move test、unit test、integration test、move prover、formal verification、debug、coverage、assert、expectというキーワードでトリガーされます。
OpenAPI、Swagger、GraphQLのスキーマがバックエンドの実装と一致することを検証します。破壊的な変更を検出し、TypeScriptクライアントを生成し、APIドキュメントが同期された状態を維持します。API仕様ファイル（.yaml、.json、.graphql）で作業する場合、APIの変更をレビューする場合、フロントエンドの型を生成する場合、またはエンドポイントの実装を検証する場合に使用します。