This is exactly why I built these two things

https://github.com/RCSnyder/tlaplus-process-studio

This is to extract the bare minimum state machine out of users is tla+

https://github.com/RCSnyder/lights-out-swe

And pop that into input/docs/* with any other user requirements

And add your tech stack in preferences.md

And say "build me the thing described in input"

And it goes for it