The release keeps the DeepSeek-V4-Pro Preview structure and adds a DSpark speculative decoding module. Official documentation includes chat templates, vLLM and SGLang serving instructions, local deployment guidance, and compatibility with quantization tools.
Hosted or self-managed teams can use the model for software engineering and agent evaluation, while researchers can reproduce experiments from the technical report and model card. The Hugging Face page makes the checkpoint accessible through a standard open model workflow.

