テストフィクシング

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というキーワードでトリガーされます。

自動化タンパク質試験と検証のためのクラウドラボラトリープラットフォーム。タンパク質設計時、結合アッセイ、発現試験、熱安定性測定、酵素活性アッセイ、またはタンパク質配列最適化を含む実験的検証が必要な場合に使用。API経由で実験を提出し、実験ステータスを追跡し、結果をダウンロードし、計算ツール（NetSolP、SoluProt、SolubleMPNN、ESM）を使用して発現を改善するためにタンパク質配列を最適化し、またはウェットラボ検証を伴うタンパク質設計ワークフローを管理する場合にも使用。

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