o3, reasoner.com, and complex setups of "thinking" workflows for sonnet 3.7, gemini 2.5 pro, and o1-pro

Gemini 2.5 pro is basically free.

Also watsonx, but that's b2b.