DeepSeek tuned DeepSeek-V4.1-Flash-1017 for development environments including DeepSeek Harness version v0.2.1-rc.1, Tencent CodeBuddy, and WorkBuddy