DeepSeek Prover V2 API

About DeepSeek Prover V2

Open-source LLM specialized in formal theorem proving in Lean 4, built on a recursive theorem-proving pipeline.

Also known as DeepSeek Prover, DeepSeek-Prover-V2

DeepSeek Prover V2 specs

Model ID

deepseek-prover-v2

Provider

DeepSeek

Category

Text Generation

Input

text

Output

text

Endpoints

POST /v1/chat/completions
POST /v1/responses

DeepSeek Prover V2 API pricing

Live pay-as-you-go rates from the EmpirioLabs catalog. You are billed only for what you use, with no monthly minimum.

How to call the DeepSeek Prover V2 API

DeepSeek Prover V2 serves the OpenAI-compatible Chat Completions API. Point any OpenAI SDK at https://api.empiriolabs.ai/v1 with your EmpirioLabs API key and use the model id deepseek-prover-v2. Get an API key from the EmpirioLabs dashboard.

curl https://api.empiriolabs.ai/v1/chat/completions \
  -H "Authorization: Bearer $EMPIRIOLABS_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "model": "deepseek-prover-v2",
    "messages": [
      {"role": "user", "content": "Write a haiku about the ocean."}
    ]
  }'

from openai import OpenAI

client = OpenAI(
    base_url="https://api.empiriolabs.ai/v1",
    api_key="YOUR_EMPIRIOLABS_API_KEY",
)

response = client.chat.completions.create(
    model="deepseek-prover-v2",
    messages=[{"role": "user", "content": "Write a haiku about the ocean."}],
)
print(response.choices[0].message.content)

Good to know

Specialized for formal theorem proving in Lean 4. Routed through OpenRouter.

DeepSeek Prover V2 API: common questions

How much does the DeepSeek Prover V2 API cost?

On EmpirioLabs, DeepSeek Prover V2 is billed pay as you go: Per Message $0.020 fixed. The live rate card on this page always matches what the API charges.

Is the DeepSeek Prover V2 API OpenAI-compatible?

Yes. DeepSeek Prover V2 serves the OpenAI-compatible Chat Completions API, so existing OpenAI SDKs work by pointing base_url at https://api.empiriolabs.ai/v1 and setting the model id to deepseek-prover-v2.

Can I try DeepSeek Prover V2 in the browser before integrating?

Yes. The EmpirioLabs playground runs DeepSeek Prover V2 in the browser with the same parameters the API exposes, so you can test prompts before writing code.

How do I get a DeepSeek Prover V2 API key?

Create an EmpirioLabs account, then generate a key under API Keys in the dashboard. Billing is pay-as-you-go credits, so you only pay for the requests you make.