# deepseek-ai/DeepSeek-Prover-V2-7B

Model from Hugging Face for llm: deepseek-ai/DeepSeek-Prover-V2-7B · unknown

## Facts

- Type: LLM
- Task: general
- Framework: unknown
- License: unknown
- Source: unknown
- Hosting: hosted (7 files)
- Files: 7 hosted of 9 listed
- File counts: "listed" is every file in the source repository; only hosted files download from Hugging Bay, and the download plan lists the files it selects for one download, so its count can differ.
- Hosted here: 7 files, 13.8 GB
- Full repo upstream: 13.8 GB
- Recommended file: 13.8 GB (2 files)
- Parameters: 7B
- Download: https://huggingbay.xyz/artifact/hf-model-deepseek-ai-deepseek-prover-v2-7b/files (download plan: https://huggingbay.xyz/api/artifacts/hf-model-deepseek-ai-deepseek-prover-v2-7b/download-plan)
- Per-file SHA-256: available for 7 of 7 hosted files via https://huggingbay.xyz/api/artifacts/hf-model-deepseek-ai-deepseek-prover-v2-7b/files?limit=100
- Run-ready: no (Hugging Bay has not certified a run path for this model; hosted bytes are downloadable and hash-checkable only)
- Peer-assisted fallbacks: 0 verified, 0 pending review
- Downloads: 88679
- Stars: 150
- Card completeness: 84%

## Description

External Hugging Face catalog record for deepseek-ai/DeepSeek-Prover-V2-7B. Library: unknown. Popularity signal at import: 88,679 downloads and 150 likes.

## Model Card Facts

- Declared license: unknown
- Pipeline: general
- Library: unknown
- Task categories: general
- File hints: 9 upstream file samples

## File Hints

- .gitattributes (1.5 KB)
- LICENSE (1.0 KB)
- README.md (9.7 KB)
- config.json (833 B)
- model-00001-of-000002.safetensors (8.0 GB) LFS
- model-00002-of-000002.safetensors (4.9 GB) LFS
- model.safetensors.index.json (22 KB)
- tokenizer.json (4.4 MB)
- tokenizer_config.json (3.8 KB)

## Quality Checklist

- Summary: passed
- Description: passed
- Model card metadata: passed
- License: review
- Provenance: missing
- File inventory: passed
- Hosted bytes: passed
- Scan result: passed
- Manifest signature: passed

## Safety Notes

- External catalog metadata imported from Hugging Face public API on 2026-09-20T02:38:23.486Z.
- Upstream license: unknown. Mirror admission policy: permissive (owner policy; no license rights inferred).
- Not a run kit: hosted, hash-checked bytes only; run readiness is not certified for this model yet.

## Actions

- Web: https://huggingbay.xyz/artifact/hf-model-deepseek-ai-deepseek-prover-v2-7b
- Files API: https://huggingbay.xyz/api/artifacts/hf-model-deepseek-ai-deepseek-prover-v2-7b/files?limit=100
- Metadata: https://huggingbay.xyz/api/artifacts/hf-model-deepseek-ai-deepseek-prover-v2-7b/metadata.json
- Distribution: https://huggingbay.xyz/api/artifacts/hf-model-deepseek-ai-deepseek-prover-v2-7b/distribution
- Manifest: https://huggingbay.xyz/api/manifests/hf-model-deepseek-ai-deepseek-prover-v2-7b
- Download plan (per-file SHA-256 + signed download URLs): https://huggingbay.xyz/api/artifacts/hf-model-deepseek-ai-deepseek-prover-v2-7b/download-plan
- Hosted download rows: https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-deepseek-ai-deepseek-prover-v2-7b&limit=100
- Request mirror: not applicable.
- Submit peer fallback for review: POST https://huggingbay.xyz/api/artifacts/hf-model-deepseek-ai-deepseek-prover-v2-7b/decentralized-fallbacks