シェルビー・CLI・アシスタント

Node.js、Python、Go、Rust などの最新テクノロジー、NestJS、FastAPI、Django などのフレームワーク、PostgreSQL、MongoDB、Redis などのデータベース、REST、GraphQL、gRPC などの API、OAuth 2.1、JWT などの認証、テスト戦略、セキュリティのベストプラクティス（OWASP Top 10）、パフォーマンス最適化、スケーラビリティパターン（マイクロサービス、キャッシング、シャーディング）、DevOps のプラクティス（Docker、Kubernetes、CI/CD）、およびモニタリングを使用して、堅牢なバックエンドシステムを構築します。API の設計、認証の実装、データベースクエリの最適化、CI/CD パイプラインのセットアップ、セキュリティ脆弱性の処理、マイクロサービスの構築、またはプロダクション準備済みのバックエンドシステムの開発に使用します。

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

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 アプリ構造、コンストラクトパターン、スタック構成、およびデプロイワークフローをカバーします。