CP-SAT finite-state machine that provisions infrastructure without any LLM callscircuitlm.vercel.app3 pointszwmaronek3 months ago