Huashu Design
alchaincyf · Skill
Turns a one-line request in your AI agent into a finished design: a launch animation, a clickable app prototype, an editable slide deck, an infographic or a se…
Generates text with a 684B reasoning model trained mainly through reinforcement learning, aimed at math, code and logic. Suits researchers and teams who host large open models.
DeepSeek-R1 is a kit in the Developer category, listed by Mindket. It is free. This is version 1, last updated on . Download it on this page, a zip of its files. Nothing in it runs by itself.
pip install -U huggingface_hub hf download deepseek-ai/DeepSeek-R1
DeepSeek-R1 is a 684B parameter reasoning model from DeepSeek. It builds on DeepSeek-R1-Zero, a model trained with large-scale reinforcement learning and no supervised fine-tuning step first. R1 adds cold-start data before the reinforcement learning, which the card says fixes repetition, poor readability and mixed languages. Its stated results match OpenAI-o1 on math, code and reasoning tasks.
Research groups and engineering teams that can host a huge open model and want strong step-by-step reasoning. People with a single desktop GPU will want one of the smaller distilled models instead.
| Industry | Who uses it | How they use it | Example |
|---|---|---|---|
| Research | AI labs | Study reasoning trained through reinforcement learning | Compare R1 with R1-Zero on reasoning tasks |
| Software | Platform teams | Serve a large open reasoning model for coding and math | Host it behind an internal chat tool |
| Education | Tutors and students | Work through math and logic problems step by step | Ask it to solve and explain a proof |
If you cannot host about 684 GB of weights, you can skip it.
| Use case | Who | What they get back |
|---|---|---|
| Math problems | Students and researchers | A worked solution with reasoning |
| Code tasks | Developers | Code and an explanation of the approach |
| Reasoning tasks | Analysts | A chain of reasoning ending in an answer |
pip install -U huggingface_hub hf download deepseek-ai/DeepSeek-R1
Send the model a math, code or reasoning problem through your serving stack. The card asks you to read its Usage Recommendation section first, because the R1 series has settings meant for running it well.
You ask a hard math question. The model reasons through the steps at length and then states its answer.
If you are new, a 684B model is far too large for a normal computer, so try one of the six smaller distilled models from the same release. Use R1 itself when you run a GPU cluster.
The training pipeline has two reinforcement learning stages that look for better reasoning patterns and match human preferences, plus two supervised fine-tuning stages that seed reasoning and non-reasoning skills. The card says the six distilled models are built on Llama and Qwen, and its 32B Qwen distill beats OpenAI-o1-mini on many benchmarks.
Generates text with a 684B reasoning model trained mainly through reinforcement learning, aimed at math, code and logic. Suits researchers and teams who host large open models.
Made by deepseek-ai on Hugging Face. These notes are Mindket's, written from its model page and model card; the model's own files and license are on Hugging Face.
What it is: DeepSeek-R1 is a 684B parameter reasoning model from DeepSeek. It builds on DeepSeek-R1-Zero, a model trained with large-scale reinforcement learning and no supervised fine-tuning step first. R1 adds cold-start data before the reinforcement learning, which the card says fixes repetition, poor readability and mixed languages. Its stated results match OpenAI-o1 on math, code and reasoning tasks.
Who it suits: Research groups and engineering teams that can host a huge open model and want strong step-by-step reasoning. People with a single desktop GPU will want one of the smaller distilled models instead.
Industry | Who uses it | How they use it | Example
Research | AI labs | Study reasoning trained through reinforcement learning | Compare R1 with R1-Zero on reasoning tasks
Software | Platform teams | Serve a large open reasoning model for coding and math | Host it behind an internal chat tool
Education | Tutors and students | Work through math and logic problems step by step | Ask it to solve and explain a proof
If you cannot host about 684 GB of weights, you can skip it.
Where to use it:
Use case | Who | What they get back
Math problems | Students and researchers | A worked solution with reasoning
Code tasks | Developers | Code and an explanation of the approach
Reasoning tasks | Analysts | A chain of reasoning ending in an answer
How to set it up:
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-R1
How to use it: Send the model a math, code or reasoning problem through your serving stack. The card asks you to read its Usage Recommendation section first, because the R1 series has settings meant for running it well.
Example: You ask a hard math question. The model reasons through the steps at length and then states its answer.
For newcomers and experts: If you are new, a 684B model is far too large for a normal computer, so try one of the six smaller distilled models from the same release. Use R1 itself when you run a GPU cluster.
The training pipeline has two reinforcement learning stages that look for better reasoning patterns and match human preferences, plus two supervised fine-tuning stages that seed reasoning and non-reasoning skills. The card says the six distilled models are built on Llama and Qwen, and its 32B Qwen distill beats OpenAI-o1-mini on many benchmarks.
Base model
Reinforcement learning builds reasoning
Cold-start data and fine-tuning clean it up
A second reinforcement learning stage aligns it
DeepSeek-R1
Good to know:
Download its files with Hugging Face's command line:
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-R1
Then follow the usage in its model card. Nothing in this kit runs by itself.
README.md 5 KB
Listed Hugging Face models in the same category that share the most tags with this one.
| Product | Downloads, last 30 days | Likes | Parameters | License | Last change |
|---|---|---|---|---|---|
| DeepSeek-R1 This page | 1,599,170 | 14,451 | 684B | mit | |
| DeepSeek-V4.1-FlashShares fp8 · text-generation · conversational | 1,759,335 | 4,949 | 763B | mit | |
| DeepSeek-V4.1-Flash-1017Shares fp8 · text-generation · conversational | 398,161 | 5,600 | 763B | mit | |
| Kolibri-1Shares fp8 · text-generation · conversational | 13,319 | 1,011 | 78.1B | apache-2.0 | |
| Qwen3.8-27B NVFP4Shares fp8 · text-generation · conversational | 268,673 | 239 | 18.2B | apache-2.0 | |
| Ling-3.1-flashShares fp8 · text-generation · conversational | 8,327 | 170 | 572B | mit |
Posts and comments that name this project on Hacker News, Bluesky, X, Reddit, Facebook and YouTube, found by a weekly search and on Trendshift. Mindket doesn’t write or check them. Open one to read it where it was posted.
alchaincyf · Skill
Turns a one-line request in your AI agent into a finished design: a launch animation, a clickable app prototype, an editable slide deck, an infographic or a se…
op7418 · Skill
Skill that makes single-file HTML slide decks, slide illustrations and platform covers in two visual styles, with a presenter mode for rehearsal. For speakers…
alirezarezvani · Skill
Adds 411 ready-made skills for Claude Code and other coding agents, grouped by role from engineering and product to marketing, finance and compliance. Installs…
block · Kit
Self-hostable workspace where people and AI agents share the same rooms, built on a Nostr relay that logs every action as a signed event. For teams that want t…
backnotprop · Kit
Opens your AI coding agent's plans, specs and code changes in a browser so you can annotate or comment on them and send the feedback straight back to the agent.
alibaba · Kit
Reviews Git changes with an AI agent that reads files and searches the codebase, then writes comments tied to exact lines. It suits developers who want automat…