Since grok 4 is available with multiple AI providers it would make sense to add grok 4 to the model selection.
It's benchmarks look promising and might give Windsurf a edge over it's competitors.