deepseek-prover-v2DeepSeek Prover V2 by DeepSeek.
Select an endpoint and copy a working example for this model.
from openai import OpenAI client = OpenAI( api_key="YOUR_API_KEY", base_url="https://api.apertis.ai/v1") response = client.chat.completions.create( model="deepseek-prover-v2", messages=[ {"role": "user", "content": "Hello!"} ], max_tokens=1024, temperature=0.7) print(response.choices[0].message.content) # Optional: Enable context compression to reduce token usage# response = client.chat.completions.create(# model="deepseek-prover-v2",# messages=[{"role": "user", "content": "Hello!"}],# extra_body={"compression": {"enabled": True, "model": "gpt-4.1-mini"}}# )modelmessagesmax_tokenstemperaturetop_pstreamtoolsreasoning_effortstream_optionsthinkingextra_bodyUse these namespaced identifiers in Cursor IDE to avoid conflicts with built-in models.
See how this model compares to others from the same provider.
DeepSeek V4 Pro is a large-scale Mixture-of-Experts (MoE) model with 1.6T total parameters and 49B activated per token, supporting a 1M-token context window for advanced reasoning and long-horizon workflows. It delivers strong performance across knowledge, mathematics, and software engineering tasks, making it suitable for complex, real-world applications. Built on a hybrid attention architecture for efficient long-context processing, the model supports configurable reasoning modes to balance speed and depth. It is well suited for full codebase analysis, multi-step automation, and large-scale information synthesis, where both capability and efficiency are essential.https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro
DeepSeek V4 Flash is an efficiency-optimized Mixture-of-Experts (MoE) model with 284B total parameters and 13B activated per token, designed for fast inference and high-throughput workloads. It supports a 1M-token context window, enabling large-scale reasoning and long-context processing. Built with hybrid attention for efficiency, the model maintains strong performance in reasoning and coding while offering configurable reasoning modes. It is well suited for coding assistants, chat systems, and agent workflows where responsiveness and cost efficiency are critical.
DeepSeek-V3.2 is an efficiency-focused large model that combines strong reasoning with reliable tool use. It introduces DeepSeek Sparse Attention to lower compute costs for long contexts while preserving quality, and uses large-scale reinforcement learning to reach GPT-5-class reasoning (including top IMO/IOI results). An agentic task-synthesis pipeline improves how it reasons with tools in interactive settings — and developers can toggle reasoning on or off as needed.
See how this model compares to others from the same provider.
DeepSeek V4 Pro is a large-scale Mixture-of-Experts (MoE) model with 1.6T total parameters and 49B activated per token, supporting a 1M-token context window for advanced reasoning and long-horizon workflows. It delivers strong performance across knowledge, mathematics, and software engineering tasks, making it suitable for complex, real-world applications. Built on a hybrid attention architecture for efficient long-context processing, the model supports configurable reasoning modes to balance speed and depth. It is well suited for full codebase analysis, multi-step automation, and large-scale information synthesis, where both capability and efficiency are essential.https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro
DeepSeek V4 Flash is an efficiency-optimized Mixture-of-Experts (MoE) model with 284B total parameters and 13B activated per token, designed for fast inference and high-throughput workloads. It supports a 1M-token context window, enabling large-scale reasoning and long-context processing. Built with hybrid attention for efficiency, the model maintains strong performance in reasoning and coding while offering configurable reasoning modes. It is well suited for coding assistants, chat systems, and agent workflows where responsiveness and cost efficiency are critical.
DeepSeek-V3.2 is an efficiency-focused large model that combines strong reasoning with reliable tool use. It introduces DeepSeek Sparse Attention to lower compute costs for long contexts while preserving quality, and uses large-scale reinforcement learning to reach GPT-5-class reasoning (including top IMO/IOI results). An agentic task-synthesis pipeline improves how it reasons with tools in interactive settings — and developers can toggle reasoning on or off as needed.
DeepSeek-V3.2-Speciale is a high-compute edition of V3.2 built for top-tier reasoning and agent performance. Using DeepSeek Sparse Attention and extensive reinforcement learning, it surpasses GPT-5 on tough reasoning benchmarks and approaches Gemini 3 Pro–level capability, while still remaining strong at coding and tool use. It also draws on a large agent-training pipeline to boost reliability and generalization in interactive environments.
No observed failures in the current observation window