Specification Driven Development: как вместо кода заставить ИИ сначала писать контракты

Матвей Лихота (старший Go-разработчик) предлагает альтернативу типичному использованию LLM, когда модель по одному запросу сразу генерирует сервер, модели и миграции. По его опыту, такой подход ведёт к хаотичной архитектуре, ошибкам и непредсказуемым результатам при повторном промпте.

Суть идеи: сначала заставить нейросеть спроектировать систему и выпустить контракты — OpenAPI, Proto, JSON Schema, CloudEvents, AsyncAPI. Код затем добавляется отдельно: повторяемые части — через обычные генераторы, а проектно-зависимые — разработчиками и агентом в контексте репозитория.

Этот подход Лихота называет Documentation Driven Agent Development (или Specification Driven Agent Development). Главный артефакт проекта — контракт, а код — его производная. В статье он демонстрирует метод на примере разработки простой телефонной станции (АТС) и разграничивает роли генераторов и агентов.