代理工厂

按照公开的agents.md规范生成并维护AGENTS.md文件。在为AI代理工作流创建文档、编写入职指南或在项目间标准化代理交互模式时使用。

验证 OpenAPI、Swagger 和 GraphQL 架构与后端实现是否匹配。检测破坏性更改、生成 TypeScript 客户端，并确保 API 文档保持同步。在处理 API 规范文件（.yaml、.json、.graphql）、审查 API 变更、生成前端类型或验证端点实现时使用。

基于 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 触发响应。