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…
Quantized GGUF copies of IFM's K2-Horizon-7B text model for running locally in llama.cpp, from BF16 down to 4-bit, with a 512K-token context window.
K2-Horizon-7B-GGUF 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 IFM/K2-Horizon-7B-GGUF
This repository holds GGUF copies of K2-Horizon-7B, a decoder-only text model from IFM with a 7B core and a 512K-token context window. The GGUF format lets you run it locally with llama.cpp instead of calling a hosted service.
Each file carries its tokenizer data and a chat template that llama.cpp can read, so a chat session needs no extra setup files.
People who want to run an open 7B-class model on their own computer and read long inputs. The card says IFM tested the base model on agentic, coding, long-context and reasoning benchmarks.
| Industry | Who uses it | How they use it | Example |
|---|---|---|---|
| Software | Developers | Run a local coding and tool-use model | A coding helper that runs offline on a workstation |
| Research | ML researchers | Study an open model and its released checkpoints | Comparing behavior across training stages |
| Documents | Analysts | Feed long texts into one prompt | Asking questions about a long report |
| Hobbyists | Local AI users | Try a quantized model on modest hardware | A 4-bit copy on a home PC |
You can skip it if you want a hosted chat service, or if your llama.cpp build is older than the release the card names.
The files work with llama.cpp and tools built on it, on Windows, macOS and Linux.
| Use case | Who | What they get back |
|---|---|---|
| Local chat | Anyone with a recent PC | Replies from the model without a cloud account |
| Long-document questions | Analysts and writers | Answers drawn from a lengthy input |
| Coding and agent tests | Developers | A local model to try on agentic and coding tasks |
You need Python for the download tool and a llama.cpp build that knows the K2 Horizon architecture. The card says mainline support arrived in release b11454.
pip install -U huggingface_hub hf download IFM/K2-Horizon-7B-GGUF
Load one of the GGUF files in llama.cpp and chat with it. The built-in chat template means the prompt format is handled for you. The card lists these variants.
| Variant | What it is |
|---|---|
| BF16 | The full-precision copy, the largest file |
| Q8_0 | An 8-bit quantization |
| Q6_K | A 6-bit quantization |
| Q5_K_M | A 5-bit quantization, mixed |
| Q5_0 | A 5-bit quantization, plain |
| Q4_K_M | A 4-bit quantization, the smallest listed |
You open the Q4_K_M file in llama.cpp and ask it to explain a stack trace from your project. The model replies in the chat, running entirely on your own machine.
If you are new, pick the 4-bit Q4_K_M file first, since it is the smallest and the easiest on memory. Use a recent llama.cpp, load the file and type a question. If the answers feel weak, try a larger variant.
If you know the field: K2-Horizon-7B sits in the middle of the K2-Horizon family and is a dense model. Native 524,288-token context starts from the midtraining stages. IFM released intermediate checkpoints, plus training data, recipe, code and evaluation resources. Lower quantization shrinks the file and costs some accuracy.
The card's table compares the model with Gemma 4-12B, Qwen3.5-9B and Granite 4.2-8B on competition mathematics. Treat these as the authors' own numbers.
Quantized GGUF copies of IFM's K2-Horizon-7B text model for running locally in llama.cpp, from BF16 down to 4-bit, with a 512K-token context window.
Made by IFM 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: This repository holds GGUF copies of K2-Horizon-7B, a decoder-only text model from IFM with a 7B core and a 512K-token context window. The GGUF format lets you run it locally with llama.cpp instead of calling a hosted service.
Each file carries its tokenizer data and a chat template that llama.cpp can read, so a chat session needs no extra setup files.
Who it suits: People who want to run an open 7B-class model on their own computer and read long inputs. The card says IFM tested the base model on agentic, coding, long-context and reasoning benchmarks.
Industry | Who uses it | How they use it | Example
Software | Developers | Run a local coding and tool-use model | A coding helper that runs offline on a workstation
Research | ML researchers | Study an open model and its released checkpoints | Comparing behavior across training stages
Documents | Analysts | Feed long texts into one prompt | Asking questions about a long report
Hobbyists | Local AI users | Try a quantized model on modest hardware | A 4-bit copy on a home PC
You can skip it if you want a hosted chat service, or if your llama.cpp build is older than the release the card names.
Where to use it: The files work with llama.cpp and tools built on it, on Windows, macOS and Linux.
Use case | Who | What they get back
Local chat | Anyone with a recent PC | Replies from the model without a cloud account
Long-document questions | Analysts and writers | Answers drawn from a lengthy input
Coding and agent tests | Developers | A local model to try on agentic and coding tasks
How to set it up: You need Python for the download tool and a llama.cpp build that knows the K2 Horizon architecture. The card says mainline support arrived in release b11454.
pip install -U huggingface_hub
hf download IFM/K2-Horizon-7B-GGUF
How to use it: Load one of the GGUF files in llama.cpp and chat with it. The built-in chat template means the prompt format is handled for you. The card lists these variants.
Variant | What it is
BF16 | The full-precision copy, the largest file
Q8_0 | An 8-bit quantization
Q6_K | A 6-bit quantization
Q5_K_M | A 5-bit quantization, mixed
Q5_0 | A 5-bit quantization, plain
Q4_K_M | A 4-bit quantization, the smallest listed
Example: You open the Q4_K_M file in llama.cpp and ask it to explain a stack trace from your project. The model replies in the chat, running entirely on your own machine.
For newcomers and experts: If you are new, pick the 4-bit Q4_K_M file first, since it is the smallest and the easiest on memory. Use a recent llama.cpp, load the file and type a question. If the answers feel weak, try a larger variant.
If you know the field: K2-Horizon-7B sits in the middle of the K2-Horizon family and is a dense model. Native 524,288-token context starts from the midtraining stages. IFM released intermediate checkpoints, plus training data, recipe, code and evaluation resources. Lower quantization shrinks the file and costs some accuracy.
Download a GGUF file from the repository
Load it in a llama.cpp build with K2 Horizon support
The built-in chat template formats your prompt
The model replies on your own machine
Good to know: The card's table compares the model with Gemma 4-12B, Qwen3.5-9B and Granite 4.2-8B on competition mathematics. Treat these as the authors' own numbers.
Title: HMMT Feb 2026 competition math score
K2-Horizon-7B: 73.3 points
Granite 4.2-8B: 66.5 points
Qwen3.5-9B: 65.7 points
Gemma 4-12B: 63.1 points
Download its files with Hugging Face's command line:
pip install -U huggingface_hub
hf download IFM/K2-Horizon-7B-GGUF
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 |
|---|---|---|---|---|---|
| K2-Horizon-7B-GGUF This page | 24,083 | 84 | 9B | apache-2.0 | |
| K2-Horizon-7BShares 7b · k2-horizon · open-weights | 42,327 | 287 | 9B | apache-2.0 | |
| K2-Horizon-3.7B-GGUFShares k2-horizon · open-weights · dense | 19,581 | 60 | 5.1B | apache-2.0 | |
| Ming-3.0-tts-0.5B by inclusionAIShares dense · text-generation · transformers | 14,756 | 225 | 1.5B | mit | |
| Ornith-1.5-9B-GGUFShares gguf · text-generation · conversational | 5,772,425 | 673 | 9.2B | mit | |
| Ornith-1.5-35B-A3B-GGUFShares gguf · text-generation · conversational | 4,164,876 | 603 | 35.5B | mit |
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…