DeepSeek-V4-Pro-0813 is the official release of the DeepSeek-V4-Pro line, succeeding an earlier preview and built on the same underlying model structure with a DSpark speculative decoding module attached to accelerate inference. The project is distributed on Hugging Face under the deepseek-ai organization, with an MIT license badge on the repository and a technical report linked to arXiv (2606.19348) that documents the architecture and evaluation methodology. Because the weights are openly released, practitioners can self-host, fine-tune, or audit the model, making it appealing for teams that prefer transparent, vendor-independent deployments over closed proprietary endpoints.

The release emphasizes enhanced agentic capabilities and performance gains that the model card describes as especially pronounced in production environments, where tool-driven workflows matter more than static question answering. Reported benchmark numbers for DeepSeek-V4-Pro-0813 include 42.7 on HLE without tools and 60.0 with tools, 87.9 on Terminal Bench 2.1, and 61.5 on NL2Repo, positioning the model as broadly competitive with the strongest proprietary systems on coding and agent-oriented tasks. The DSpark speculative decoding layer helps keep latency manageable for these long, multi-step interactions, so the model fits well for autonomous coding agents, repository-level code synthesis, and tool-using assistants that need both reasoning depth and efficient decoding.