ムーブ コード クオリティ

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

公開されているagents.mdの規則に従ってAGENTS.mdファイルを生成および維持します。AIエージェントのワークフローのドキュメント作成、オンボーディングガイド、またはプロジェクト間でのエージェントの相互作用パターンの標準化を行う場合に使用します。

Anthropic Claude API、モデル、プロンプトエンジニアリング、関数呼び出し、ビジョン、およびベストプラクティスの専門家。anthropic、claude、api、prompt、function calling、vision、messages api、embeddings でトリガーされます。

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