Aptos Move 验证器

Claude代码代理生成系统，该系统遵循成熟的生产模式，创建带有增强型YAML前端配置、工具访问模式和MCP集成支持的自定义代理和子代理

Aptos上Move智能合约测试专家，包括单元测试、集成测试、Move Prover形式化验证、调试策略和测试覆盖率。会被move test、unit test、integration test、move prover、formal verification、debug、coverage、assert、expect这些关键词触发

AWS Cloud Development Kit (CDK)专家，擅长使用TypeScript/Python构建云基础设施。在创建CDK堆栈、定义CDK构件、实现基础设施即代码时，或当用户提到CDK、CloudFormation、IaC、cdk synth、cdk deploy，或希望以编程方式定义AWS基础设施时使用。涵盖CDK应用结构、构件模式、堆栈组成和部署工作流。

用于自动化蛋白质测试和验证的云实验室平台。当设计蛋白质并需要实验验证（包括结合测定、表达测试、热稳定性测量、酶活性测定或蛋白质序列优化）时使用。也用于通过API提交实验、跟踪实验状态、下载结果、使用计算工具（NetSolP、SoluProt、SolubleMPNN、ESM）优化蛋白质序列以获得更好的表达，或通过湿实验室验证管理蛋白质设计工作流程。