智能体开发与文档驱动开发：当人工智能编写契约而非代码

作者马特维·利霍塔（Matvey Likhota）是一名资深Go开发人员，他提出了一种开发方法：先由大型语言模型（LLM）设计系统并生成契约，如OpenAPI、Proto、JSON Schema、CloudEvents和AsyncAPI，随后由可重复的生成器生成代码，而项目相关部分由开发人员和代理完成。他称之为“文档驱动的代理开发”或“规范驱动的代理开发”。文章以一个简单的PBX服务示例展示了该过程。第一个提示要求LLM列出架构上重要的问题，而不编写代码。第二个提示生成一个OpenAPI 3.1契约，其严格的要求包括RFC 9457错误、Idempotency-Key、If-Match/ETag和游标分页。然后，一个对抗性审查提示对该契约进行缺陷批判。对于事件契约，使用CloudEvents 1.0，并附带一个事件目录，如CallStarted、CallAnswered、CallMissed。WebSocket契约通过AsyncAPI 3.0描述，内部API则设计为基于proto3的gRPC。文章强调了将契约设计与代码生成分离，并使用审查提示来捕获不一致之处。