DeepSeek Prover V2 API

Open-source AI with 128K-token context, excelling in formal theorem proving and mathematical reasoning.
Output

How to use DeepSeek Prover V2 API

Install any OpenAI-compatible SDK, point it at api.aimlapi.com/v1, and set the model to .

OpenAI-compatible — swap the base URL and it works with your existing SDK.

DeepSeek Prover V2 API Pricing

TypePrice
Input
Output

DeepSeek Prover V2 vs other models

ModelInputOutputContextBest for
$6.5 / 1M tokens
$39 / 1M tokens
1.05M tokens
Reasoning + agents
$2.6 / 1M tokens
$13 / 1M tokens
1M tokens
Balanced coding + agents
$3.9 / 1M tokens
$19.5 / 1M tokens
1M tokens
Long-context, multimodal & agentic workflows
$0.65 / 1M tokens
$3.9 / 1M tokens
1.05M tokens
Reasoning + agents

Frequently asked questions

Yes, DeepSeek Prover V2 can stream responses as they are generated.

Yes, DeepSeek Prover V2 supports both function calling and structured outputs.

DeepSeek Prover V2 was built by DeepSeek.

DeepSeek Prover V2 is accessed via the v1/chat/completions endpoint.

Start building with DeepSeek Prover V2

Get API Key
1000+ models, one API.