Real… I’ve been using Deepseek v4 pro max as my main and then k3 in web (more usage credits) for automating what my deepseek agents do