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.
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 100% | deepseek-prover-v2 | default | $3.92/M | $15.66/M | — | — | — | |
L1 100% | deepseek-ai/DeepSeek-Prover-V2-671B | default | $1.00/M | $0.500/M | — | — | — | |
L1 100% | ppinfra/deepseek/deepseek-prover-v2-671b | default | $1.00/M | $0.500/M | — | — | — | |
L1 100% | DeepSeek-Prover-V2 | default | $1.00/M | $0.500/M | — | — | — | |
L1 100% | deepseek/deepseek-prover-v2 | default | $1.00/M | $0.500/M | — | — | — | |
L1 100% | deepseek/deepseek-prover-v2-671b | default | $1.00/M | $0.500/M | — | — | — | |
L1 100% | deepseek-prover-v2-671b | default | $75.00/M | $75.00/M | — | — | — | |
L1 99% | deepseek-prover-v2-7b | vip | $0.730/M | $2.19/M | — | — | — | |
L1 79% | deepseek-prover-v2-7b | 91vip | $0.730/M | $2.19/M | — | — | — | |
L1 100% | deepseek-prover-v2-7b | default | $0.010/request | - | — | — | — | |
L1 1% | deepseek-prover-v2-7b | 91vip | $0.730/M | $2.19/M | — | — | — |
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.
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.
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
Zhipu GLM-4.7 is a flagship GLM release from Zhipu AI with advanced Chinese-English reasoning, coding, and agent features.
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
Zhipu GLM-4 is a flagship bilingual model from Zhipu AI with strong Chinese-English reasoning, tool use, and long-context chat capabilities.
