Skip to main content

Deepseek Prover — AI Model Family — MCP App Store | MCP App Store

DeepSeek AI

Deepseek Prover

Open source1 variants

DeepSeek-Prover-V2-671B

reasoning671B

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

164K tokensFree / Open weightsMoEProprietary

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.