Mcpマネジメント

Claude Codeエージェント生成システムは、実績のあるプロダクションパターンに従い、強化されたYAMLフロントマター、ツールアクセスパターン、およびMCP統合サポートを備えたカスタムエージェントとサブエージェントを作成するシステムです。

Move Prover形式検証の専門家 - 仕様言語（MSL）、前提条件、事後条件、不変条件、aborts_if、ensures、requires、modifies、emits、グローバル不変条件、スキーマパターン、量化子、ヘルパー関数、プラグマディレクティブ、検証戦略、および証明のデバッグ。キーワード move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma でトリガーされる。

Aptos上のMoveスマートコントラクトのテスト、ユニットテスト、統合テスト、Move Proverの形式検証、デバッグ戦略、テストカバレッジに関する専門家。move test、unit test、integration test、move prover、formal verification、debug、coverage、assert、expectというキーワードでトリガーされます。

このスキルは、分類、回帰、クラスタリング、予測、異常検出、セグメンテーション、類似度検索を含む時系列機械学習タスクに使用されるものです。時間的データ、シーケンシャルパターン、または標準のMLアプローチを超えた専門的なアルゴリズムが必要な時間インデックス付きの観測データを扱う場合に使用します。特に、scikit-learn互換のAPIを使用した単変量および多変量の時系列分析に適しています。