DeepSeek Prover v2 API Benchmarks, Pricing & Provider Data
Compare DeepSeek Prover v2 with another model
Choose a model to open its comparison page.
DeepSeek Prover v2 API pricing covers 18 API providers, from $0.010/request to $75.00/M.
DeepSeek Prover v2 is a reasoning model in the DeepSeek series, designed for complex reasoning, problem-solving, and analytical tasks.
Specifications
Pricing Comparison
Compare DeepSeek Prover v2 API pricing across 18 providers. Prices range from $0.010/request to $75.00/M. Astrdark offers the lowest rate at $0.010/request.
| Provider | Health | Model Variant | Group | Input ($/M) | Output ($/M) | Speed (t/s) | First token | Audit |
|---|---|---|---|---|---|---|---|---|
L1 99% | deepseek-prover-v2 | default | $3.92/M | $15.66/M | — | — | — | |
L1 99% | deepseek-prover-v2-7b | vip | $0.730/M | $2.19/M | — | — | — | |
L1 100% | deepseek-prover-v2-7b | default | $0.010/request | - | — | — | — | |
L1 0% | deepseek-ai/DeepSeek-Prover-V2-671B | default | $1.00/M | $0.500/M | — | — | — | |
L1 0% | ppinfra/deepseek/deepseek-prover-v2-671b | default | $1.00/M | $0.500/M | — | — | — | |
L1 0% | DeepSeek-Prover-V2 | default | $1.00/M | $0.500/M | — | — | — | |
L1 0% | deepseek/deepseek-prover-v2 | default | $1.00/M | $0.500/M | — | — | — | |
L1 0% | deepseek/deepseek-prover-v2-671b | default | $1.00/M | $0.500/M | — | — | — | |
L1 0% | deepseek-prover-v2-671b | default | $75.00/M | $75.00/M | — | — | — | |
L1 0% | deepseek-prover-v2-7b | 91vip | $0.730/M | $2.19/M | — | — | — | |
L1 0% | deepseek-prover-v2-7b | 91vip | $0.730/M | $2.19/M | — | — | — |
Alternatives & Similar Models
GPT-OSS
gpt-oss
GPT-OSS is an open-weight language model family designed for self-hosted inference, research, and cost-efficient alternatives to proprietary GPT-class models.
GLM-4.5 Air
glm-4-5-air
Zhipu AI GLM-4.5 Air is a lightweight GLM-4.5 variant optimized for low-latency Chinese and English dialogue, retrieval-augmented apps, and edge deployments.
GLM-4.7
glm-4-7
Zhipu GLM-4.7 is a flagship GLM release from Zhipu AI with advanced Chinese-English reasoning, coding, and agent features.
Qwen3
qwen3
Alibaba Qwen3 is the Qwen family's flagship LLM series with dense and MoE variants, seamless thinking/non-thinking modes, and leading open-source performance in math, code, and agent tasks.
MiMo-V2.5-Pro
mimo-v2-5-pro
Xiaomi MiMo-V2.5-Pro is a large open-source language model in the MiMo series, offering advanced reasoning and general-purpose capabilities.
GLM-4
glm-4
Zhipu GLM-4 is a flagship bilingual model from Zhipu AI with strong Chinese-English reasoning, tool use, and long-context chat capabilities.
Frequently Asked Questions
- What benchmark data does DeepSeek Prover v2 include?
- LMSpeed shows DeepSeek Prover v2 benchmark context, API price, output speed, first-token latency, and provider data across 18 providers when those signals are available.
- What is the DeepSeek Prover v2 API price?
- DeepSeek Prover v2 has pricing from 18 providers, ranging from $0.010/request to $75.00/M. Astrdark has the lowest listed price.
- What does the DeepSeek Prover v2 API pricing table include?
- The DeepSeek Prover v2 API pricing table compares 18 providers by input price, output price, free tier status, speed, first-token latency, and recent health data when available.
- Which provider has the cheapest DeepSeek Prover v2 API pricing?
- Astrdark currently has the lowest listed DeepSeek Prover v2 price at $0.010/request across 18 providers.
- Is DeepSeek Prover v2 API free?
- DeepSeek Prover v2 does not currently have a free API tier on LMSpeed. All 18 providers charge per token.