DeepSeek model
Prover V4
Model ID: deepseek-prover-v4
Prover V4 is a DeepSeek model tracked in AACFlow. It supports a 128k token context window. Pricing starts at $0.28/1M input tokens and $0.42/1M output tokens. Key capabilities include Temperature 0-2, Tool choice. Best for general-purpose AI workflows inside AACFlow.
Input price
$0.28/1M
Cached input
$0.028/1M
Output price
$0.42/1M
Context window
128k
Pricing and limits
Pricing below is generated directly from the provider registry in AACFlow. All amounts are listed per one million tokens.
Input price
$0.28/1M
Cached input
$0.028/1M
Output price
$0.42/1M
Updated
May 1, 2026
Context window
128k tokens
Max output
Standard defaults
Provider
DeepSeek
Best for
Best for general-purpose AI workflows inside AACFlow.
Capabilities
These capability flags are generated from the provider and model definitions tracked in AACFlow.
Temperature
0 to 2
Reasoning effort
Not supported
Verbosity
Not supported
Thinking levels
Not supported
Structured outputs
Standard defaults
Tool choice
Supported
Computer use
Standard defaults
Deep research
Standard defaults
Memory support
Supported
Max output tokens
Standard defaults
Related DeepSeek models
Browse comparable models from the same provider to compare pricing, context window, and capability coverage.
V3
deepseek-v3
V3 is a DeepSeek model tracked in AACFlow. It supports a 128k token context window. Pricing starts at $0.28/1M input tokens and $0.42/1M output tokens. Key capabilities include Temperature 0-2, Tool choice.
Chat
deepseek-chat
Chat is a DeepSeek model tracked in AACFlow. It supports a 128k token context window. Pricing starts at $0.28/1M input tokens and $0.42/1M output tokens. Key capabilities include Tool choice.
R1
deepseek-r1
R1 is a DeepSeek model tracked in AACFlow. It supports a 128k token context window. Pricing starts at $0.55/1M input tokens and $2.19/1M output tokens. Key capabilities include Tool choice.
Reasoner
deepseek-reasoner
Reasoner is a DeepSeek model tracked in AACFlow. It supports a 128k token context window. Pricing starts at $0.28/1M input tokens and $0.42/1M output tokens. Key capabilities include Tool choice.
Frequently asked questions
Prover V4 is a DeepSeek model available in AACFlow. Prover V4 is a DeepSeek model tracked in AACFlow. It supports a 128k token context window. Pricing starts at $0.28/1M input tokens and $0.42/1M output tokens. Key capabilities include Temperature 0-2, Tool choice.