Skip to main content

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

Retour à 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 tokensGratuit / Poids ouvertsMoEProprietary

Aucun score de benchmark disponible pour ce modèle.

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