谢尔比命令行助手

使用现代技术（Node.js、Python、Go、Rust）、框架（NestJS、FastAPI、Django）、数据库（PostgreSQL、MongoDB、Redis）、API（REST、GraphQL、gRPC）、认证机制（OAuth 2.1、JWT）、测试策略、安全最佳实践（OWASP Top 10）、性能优化、可扩展性模式（微服务、缓存、分片）、DevOps 实践（Docker、Kubernetes、CI/CD）和监控构建稳健的后端系统。在设计 API、实现认证、优化数据库查询、搭建 CI/CD 流水线、处理安全漏洞、构建微服务或开发生产就绪的后端系统时使用。

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

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应用结构、构件模式、堆栈组成和部署工作流。