CatalogWantedMirrorsLedgerOperating StatementDocsStudio statusCard system
alt.freeweights.deepseek / DeepSeek-Prover-V1
From: deepseek-ai <huggingface.co/deepseek-ai>Newsgroups: alt.freeweights.deepseekSubject:

DeepSeek-Prover-V1

Date: 2026-11-15

Model with 6.9B parameters. Safetensors weights, 13.8 GB in all. Published by deepseek-ai under deepseek-license.

6.9B params13.8GBDeepSeek-Prover-V1safetensorslicense not reviewed
FactsParams6.9BSize13.8 GBFormatssafetensorsTasknot taggedLicensedeepseek-licenseFrom the publisher · License not reviewedlicense not reviewedread terms
$ fw info deepseek-ai/DeepSeek-Prover-V1
link only — read the license:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1/blob/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb/LICENSE
From the publisher · License not revieweddeepseek-ai/DeepSeek-Prover-V1
Get help

Get help: custom fine-tune or private deploy. We review your setup before we quote.

Works with

Run8Fine-tune7Convert8Scan2

Runs with

Ranked by fit to this model (safetensors), then by GitHub stars.

TransformersLocalAItinygradTriton Inference ServerBentoMLCTranslate2ExLlamaV2LitServe
OverviewModel cardFilesUse itLicenseProvenanceModel tree

Overview

Size
13.8 GB
Weights
see files
Parameters
6.9B
Formats
safetensors
Task
not tagged
License
deepseek-license (unreviewed)
Files
link only
Publisher
deepseek-ai
Added
2026-11-15
Section
alt.freeweights.deepseek
Lineage

Original release from the publisher.

License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.

Model card

No model card stored here.This model is listed with a link to the publisher. Read the publisher's page: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1

Files

License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.

There is no manifest and no file list for a link-only model.

Use it

$ fw info deepseek-ai/DeepSeek-Prover-V1
link only — read the license:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1/blob/304287b0ec4bacee1a6c57fa1a7cb6c83282e6fb/LICENSE
License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.

Read the license Open the source

License

Name
deepseek-license
Id
deepseek-license
Class
License not reviewed
Redistribution
no
Listing
From the publisher
Decided
Waiting for a person to read it. 2026-11-15
Terms gate
Yes. The commands stay folded until you open them after reading the license.

Read the license text

License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.

Licenses are checked against the license table. A custom license passes only after a person reads it.

Provenance

From: deepseek-ai <huggingface.co/deepseek-ai>Newsgroups: alt.freeweights.deepseekSubject: DeepSeek-Prover-V1Date: 2026-11-15
License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.
Source
huggingface.co/deepseek-ai/DeepSeek-Prover-V1
Manifest
None: Freeweights does not pin or sign link-only models.
Takedowns
None.

Model tree

No related models in this catalog.Nothing here lists this model as its parent, and it names no parent.
Get it
License and source
Source
huggingface.co/deepseek-ai/DeepSeek-Prover-V1

Related models

All of alt.freeweights.deepseek →
From: timm <huggingface.co/timm>Subject: deepseek_vit_412m.deepseek_v4_1_flash
From: bartowski <huggingface.co/bartowski>Subject: deepseek-ai_DeepSeek-R1-0528-GGUF
From: bartowski <huggingface.co/bartowski>Subject: deepseek-ai_DeepSeek-R1-0528-Qwen3-8B-GGUF
From: bartowski <huggingface.co/bartowski>Subject: deepseek-ai_DeepSeek-V3-0324-GGUF
From: bartowski <huggingface.co/bartowski>Subject: deepseek-ai_DeepSeek-V3.1-GGUF
From: mlx-community <huggingface.co/mlx-community>Subject: deepseek-ai-DeepSeek-V4-Flash-8bit