リノード CLI

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 でトリガーされる。

AWS Cloud Development Kit (CDK) の TypeScript/Python を使用したクラウドインフラストラクチャ構築の専門家。CDK スタックの作成、CDK コンストラクトの定義、インフラストラクチャ・アズ・コードの実装、またはユーザーが CDK、CloudFormation、IaC、cdk synth、cdk deploy を言及した場合、あるいは AWS インフラストラクチャをプログラムで定義したい場合に使用します。CDK アプリ構造、コンストラクトパターン、スタック構成、およびデプロイワークフローをカバーします。

Apify JS SDK のドキュメント - Web スクレイピング、クローリング、およびアクター開発