エージェントファクトリー

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

OpenAPI、Swagger、GraphQLのスキーマがバックエンドの実装と一致することを検証します。破壊的な変更を検出し、TypeScriptクライアントを生成し、APIドキュメントが同期された状態を維持します。API仕様ファイル（.yaml、.json、.graphql）で作業する場合、APIの変更をレビューする場合、フロントエンドの型を生成する場合、またはエンドポイントの実装を検証する場合に使用します。

Well-Architected Frameworkに基づくAWSサーバーレスおよびイベントドリブンアーキテクチャのエキスパート。サーバーレスAPI、Lambda関数、REST API、マイクロサービス、または非同期ワークフローを構築する際に使用します。TypeScript/Pythonを使用したLambda、API Gateway（REST/HTTP）、DynamoDB、Step Functions、EventBridge、SQS、SNS、およびサーバーレスパターンをカバーします。ユーザーがサーバーレス、Lambda、API Gateway、イベントドリブン、非同期処理、キュー、pub/subに言及した場合、またはAWSのベストプラクティスでスケーラブルなサーバーレスアプリケーションを構築したい場合に必須です。

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