Skip to main content

DeepSeek-Prover-V2-671B — AI Model — MCP App Store | MCP App Store

Back to Deepseek Prover

DeepSeek AI · Deepseek Prover

DeepSeek-Prover-V2-671B

reasoning671BOpen source

DeepSeek's 671B math theorem prover — specialised in formal mathematical reasoning and proof generation at frontier scale.

164K tokensFree / Open weightsMoEProprietary

No benchmark scores available yet for this model.

MCP App Store

The AI ecosystem directory — MCP Apps, Agent Skills, and daily news.

Directory

MCP Apps & Servers Agent Skills AI News AI Models What are MCP Apps?

Resources

Documentation Specification GitHub

Account

Sign in Get Started Dashboard

Company

Contact Build an MCP App

Legal

Privacy Policy Terms of Use

© 2026 MCP App Store

All rights reserved.