Skip to main content

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

Retour aux modèles

DeepSeek AI

Deepseek Prover

Open source1 variantes

DeepSeek-Prover-V2-671B

reasoning671B

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

164K tokensGratuit / Poids ouvertsMoEProprietary

MCP App Store

Le répertoire de l'écosystème IA — MCP Apps, Compétences d'agent, et actualités quotidiennes.

Répertoire

MCP Apps & Serveurs Compétences d'agent Actualités IA Modèles IA Qu'est-ce que les MCP Apps ?

Ressources

Documentation Spécification GitHub

Compte

Connexion Commencer Tableau de bord

Entreprise

Contact Créer une MCP App

Légal

Politique de confidentialité Conditions d'utilisation

© 2026 MCP App Store

Tous droits réservés.

Apps & Serveurs