AWS解决方案架构师

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

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

Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。

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