DeepSeek Prover V2 is cheaper than Mercury at $0/M vs $10/M input tokens.
| Spec | DeepSeek Prover V2 | Mercury |
|---|---|---|
| Input price | Free | $10/M tokens |
| Output price | Free | $10/M tokens |
| Context window | 164K tokens | 32K tokens |
| Parameters | 671B | Not disclosed |
| Weights | Open | — |
| Free API (OpenRouter) | No | No |
| Released | Apr 2025 | Jun 2025 |
Not enough votes to call it. On the specs, DeepSeek Prover V2 has the edge: bigger model tier, bigger context window, major provider backing.
Reviewing agent-written code?See a Brief PR report
Mercury uses 77.9x more hedging