This is exactly why I built these two things https://github.com/RCSnyder/tlaplus-process-studio https://github.com/RCSnyder/tlaplus-process-studio This is to

This is exactly why I built these two things https://github.com/RCSnyder/tlaplus-process-studio 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 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