deepseek-ai/DeepSeek-Prover-V2-7B file inventory

Browse recorded file paths and sizes for deepseek-ai/DeepSeek-Prover-V2-7B. Check its Run page for complete-kit status.

Catalog inventory preview, up to 25 files. File presence and size are recorded metadata. Current hosting, verification and run status are not confirmed by this page.

  • config.json (833 bytes recorded)
  • LICENSE (1,064 bytes recorded)
  • model-00001-of-000002.safetensors (8,596,557,586 bytes recorded)
  • model-00002-of-000002.safetensors (5,224,205,544 bytes recorded)
  • model.safetensors.index.json (22,736 bytes recorded)
  • tokenizer_config.json (3,883 bytes recorded)
  • tokenizer.json (4,610,628 bytes recorded)

Check current files and download availability

Local kit JSON Trust bundle JSON

Open interactive local kit