内容趋势研究员

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

Apify JS SDK 文档 - 网页抓取、爬行和 Actor 开发

基于 Well-Architected 框架的 AWS 无服务器和事件驱动架构专家。在构建无服务器 API、Lambda 函数、REST API、微服务或异步工作流时使用。涵盖使用 TypeScript/Python 的 Lambda、API Gateway（REST/HTTP）、DynamoDB、Step Functions、EventBridge、SQS、SNS 以及无服务器模式。当用户提及无服务器、Lambda、API Gateway、事件驱动、异步处理、队列、发布/订阅，或希望使用 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 触发响应。