L Models Long context
DeepSeek Prover v2 671B
by DeepSeek
Flagship DeepSeek model for coding, reasoning, and agentic work
DP
Models
DeepSeek Prover v2 671B
Added 13 July 2026
#deepseek
Overview
Flagship DeepSeek model for coding, reasoning, and agentic work
How to use / API access
Call via other with model id `deepseek/deepseek-prover-v2-671b`.
- other ·
deepseek/deepseek-prover-v2-671b
Notes
DeepSeek Prover v2 671B is listed in the EDNA Models directory, sourced from models.dev.
Free 27-page guide
Get the free Developer’s Field Guide
A 27-page field guide to the AI coding workflow with Claude. Claude Code, MCP servers, the prompt patterns that work, and what to delegate. Free.
Enter your work email. We send it straight over, plus a few short notes worth knowing. Unsubscribe any time.
You’re in. Your guide is downloading now.
Download the guide