Unknown providerLLMactive

DeepSeek Prover API Pricing

1 available providers and 1 live price sources tracked, including 0 official provider.

Data snapshot:

Official input / 1M—
Lowest input / 1M$0.5700
Maximum input gap—Not a service-quality measure
Comparable providers11 live

DeepSeek Prover provider prices and multipliers

No complete verified official input/output baseline is currently recorded, so provider quotes are shown without multipliers.

Providers: 1Market low: $0.57Lowest observed: $0.57Lowest input multiplier: —
Official input baseline—Official output baseline—Price multipliers do not measure stability, rate limits, refunds, or service quality.
DeepSeek Prover provider price and evidence comparison
Provider / operatorInput / 1M tokensOutput / 1M tokensvs officialPrice evidencePublic operating historyAPI docsRefund policyPayment / invoice
302.AIunknown$0.57$2.29
In —Out —
Live API pricePlatform page ↗Observed: —UnknownView docs ↗Not providedalipay · visa · mastercard · amex · unionpayunknown

Platform-submitted information or domain verification does not mean the price was independently checked and is not a ComputeUnion guarantee of pricing, availability, refunds, compliance, invoices, or service quality.

External capability references

Only source results safely mapped to the official model name are shown.

No safely matched external result is available; adjacent model scores are not substituted.

FAQ

How is DeepSeek Prover API priced?

Input and output tokens are billed separately. A complete official input/output baseline is not currently recorded, so provider quotes are normalized per million tokens.

Which provider is cheapest for DeepSeek Prover?

The lowest recorded input price is $0.5700/1M tokens from 302.AI; verify provider terms and the observation date before production use.

How do official and relay prices differ?

Official and relay channels can differ in price, latency, limits, and service terms; evaluate them separately for production traffic.