Bonsai-27B-GGUF
lmstudio-community · Kit
A GGUF conversion of the 27B Bonsai model for LM Studio, with a 3.80 GB Q1_0 language file and a 0.93 GB BF16 vision projector. Tested for text, vision and par…
A 12B Gemma fine-tune that turns plain English into a parts-and-mates program for the constraint-kit CAD system, and says so when a request is out of scope, for makers and engineers.
gemma-4-12b-constraintkit 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 shib79/gemma-4-12b-constraintkit-GGUF
gemma-4-12b-constraintkit is a Gemma 4 12B fine-tune by shib79 for constraint-kit, a separate open-source text-to-CAD system. You describe a part or assembly in plain English. The model reasons first, then writes a small program that lists parts, their parameters and the mates between them. constraint-kit then builds exact solids, solves the assembly and exports files such as STEP. If a request is outside what the system models, the model answers with an unsupported note and a reason, instead of guessing.
It suits mechanical engineers, makers and developers who want CAD output that can be checked against real geometry, and researchers who study training with a verifier.
| Industry | Who uses it | How they use it | Example |
|---|---|---|---|
| Engineering | Mechanical engineers | Draft parts and assemblies from a text description | Ask for three spacers stacked on top of each other |
| Making | Hobbyists | Turn an idea into a CAD program | Describe a part, then build it with constraint-kit |
| AI research | Researchers | Study reward signals from a CAD verifier | Compare the supervised stage with the GRPO stage |
If you want a mesh or a finished drawing straight from the model, you can skip it, since it writes a program that constraint-kit must compile.
| Use case | Who | What they get back |
|---|---|---|
| Text to CAD program | Engineers | A program of parts, parameters and mates |
| Honest declines | Teams that need trust | An unsupported answer with a reason for requests out of scope |
| Visible reasoning | Reviewers | A thinking trace before each program |
| Export through constraint-kit | Makers | STEP or GLB files, a parts list, mass and drawings |
You need Python for the download, a llama.cpp build and room for the 9.8 GB Q6_K GGUF file. The card also offers a 251 MB LoRA adapter on the unsloth Gemma 4 12B base. The repository includes train_sys.txt, the system prompt that training used. The card marks it as required, since training never used a different prompt.
pip install -U huggingface_hub hf download shib79/gemma-4-12b-constraintkit-GGUF
llama-server -m gemma4-12b-constraintkit-grpo-Q6_K.gguf -c 8192 -ngl 99 --port 8086
Once the server runs, send it the system prompt from train_sys.txt and then your request. The model replies with its reasoning and a program, which you pass to constraint-kit. The visible part of the card ends after the server command, so check the full card for the exact call.
| Tool | What it does |
|---|---|
| hf download | Fetches the files from the repository |
| llama-server -m | Starts the server with the model file |
| -c 8192 | Sets the context size |
| -ngl 99 | Puts the model layers on the GPU |
| --port 8086 | Sets the port the server uses |
You ask for three stacked spacers, each 12 mm across with a 5 mm bore and 8 mm tall. The model writes a program with three spacer parts and mates joining each top to the next bottom. If you ask for a spiral bevel gear, it declines and says only straight bevel gears are modeled.
CAD means computer-aided design, the software that draws exact parts. A first small test is the stacked spacers request, since the card uses that kind of simple example.
Training had two stages, supervised tuning and then GRPO, which used the CAD verifier as the reward, with no reward model and no language-model judge. The card scores a build by comparing its volume and bounding box with the held-out target, with a 2% tolerance. The card says GRPO halved silent wrong-variant builds, from 2 of 10 to 1 of 10, and raised correct declines to 9 of 10.
The author reports 93% of builds verified against geometry and 87% honest declines on held-out probes at the supervised stage. On fresh requests it reports 57% honest builds, against 16% for a prompted frontier model. Training cost about $35 in total. These are the author's own tests on small sets, so treat them as signals to check. The card's gallery pictures came from constraint-kit's hosted planner, not from this model.
A 12B Gemma fine-tune that turns plain English into a parts-and-mates program for the constraint-kit CAD system, and says so when a request is out of scope, for makers and engineers.
Made by shib79 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: gemma-4-12b-constraintkit is a Gemma 4 12B fine-tune by shib79 for constraint-kit, a separate open-source text-to-CAD system. You describe a part or assembly in plain English. The model reasons first, then writes a small program that lists parts, their parameters and the mates between them. constraint-kit then builds exact solids, solves the assembly and exports files such as STEP. If a request is outside what the system models, the model answers with an unsupported note and a reason, instead of guessing.
Who it suits: It suits mechanical engineers, makers and developers who want CAD output that can be checked against real geometry, and researchers who study training with a verifier.
Title: Who uses this model
Industry | Who uses it | How they use it | Example
Engineering | Mechanical engineers | Draft parts and assemblies from a text description | Ask for three spacers stacked on top of each other
Making | Hobbyists | Turn an idea into a CAD program | Describe a part, then build it with constraint-kit
AI research | Researchers | Study reward signals from a CAD verifier | Compare the supervised stage with the GRPO stage
If you want a mesh or a finished drawing straight from the model, you can skip it, since it writes a program that constraint-kit must compile.
Where to use it:
Title: Jobs it does
Use case | Who | What they get back
Text to CAD program | Engineers | A program of parts, parameters and mates
Honest declines | Teams that need trust | An unsupported answer with a reason for requests out of scope
Visible reasoning | Reviewers | A thinking trace before each program
Export through constraint-kit | Makers | STEP or GLB files, a parts list, mass and drawings
How to set it up: You need Python for the download, a llama.cpp build and room for the 9.8 GB Q6_K GGUF file. The card also offers a 251 MB LoRA adapter on the unsloth Gemma 4 12B base. The repository includes train_sys.txt, the system prompt that training used. The card marks it as required, since training never used a different prompt.
pip install -U huggingface_hub
hf download shib79/gemma-4-12b-constraintkit-GGUF
llama-server -m gemma4-12b-constraintkit-grpo-Q6_K.gguf -c 8192 -ngl 99 --port 8086
How to use it: Once the server runs, send it the system prompt from train_sys.txt and then your request. The model replies with its reasoning and a program, which you pass to constraint-kit. The visible part of the card ends after the server command, so check the full card for the exact call.
Title: Main command pieces
Tool | What it does
hf download | Fetches the files from the repository
llama-server -m | Starts the server with the model file
-c 8192 | Sets the context size
-ngl 99 | Puts the model layers on the GPU
--port 8086 | Sets the port the server uses
Example: You ask for three stacked spacers, each 12 mm across with a 5 mm bore and 8 mm tall. The model writes a program with three spacer parts and mates joining each top to the next bottom. If you ask for a spiral bevel gear, it declines and says only straight bevel gears are modeled.
For newcomers and experts: CAD means computer-aided design, the software that draws exact parts. A first small test is the stacked spacers request, since the card uses that kind of simple example.
Training had two stages, supervised tuning and then GRPO, which used the CAD verifier as the reward, with no reward model and no language-model judge. The card scores a build by comparing its volume and bounding box with the held-out target, with a 2% tolerance. The card says GRPO halved silent wrong-variant builds, from 2 of 10 to 1 of 10, and raised correct declines to 9 of 10.
Plain English request
Model reasons, then writes a program
constraint-kit solves the mates
STEP or GLB files, parts list, mass, drawings
Good to know: The author reports 93% of builds verified against geometry and 87% honest declines on held-out probes at the supervised stage. On fresh requests it reports 57% honest builds, against 16% for a prompted frontier model. Training cost about $35 in total. These are the author's own tests on small sets, so treat them as signals to check. The card's gallery pictures came from constraint-kit's hosted planner, not from this model.
Title: Honest builds on fresh requests, in percent
This model: 57
Prompted frontier model: 16
Download its files with Hugging Face's command line:
pip install -U huggingface_hub
hf download shib79/gemma-4-12b-constraintkit-GGUF
Then follow the usage in its model card. Nothing in this kit runs by itself.
README.md 6 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 |
|---|---|---|---|---|---|
| gemma-4-12b-constraintkit This page | 524 | 9 | 11.9B | apache-2.0 | |
| Qwen3.5-4B-3D-CoderShares 3d · gguf · safetensors | 392,582 | 1,067 | 4.5B | apache-2.0 | |
| CCORE GLB-3D-CoderShares 3d · gguf · safetensors | 51,914 | 344 | 4.5B | apache-2.0 | |
| Qwen3.5-4B-3D-Coder-MTP-RepackedShares 3d · gguf · safetensors | 6,042 | 16 | 4.7B | apache-2.0 | |
| Qwen3.5-4B-3D-HtmlShares 3d · gguf · safetensors | 1,735 | 5 | 4.2B | apache-2.0 | |
| Qwen3.5-4B-3D-Coder-GGUFShares 3d · gguf | 9,492 | 13 | 4.2B | apache-2.0 |
lmstudio-community · Kit
A GGUF conversion of the 27B Bonsai model for LM Studio, with a 3.80 GB Q1_0 language file and a 0.93 GB BF16 vision projector. Tested for text, vision and par…
LibertAIDAI · Kit
Runs DeepSeek-V4.1-Flash-1017 as a 2.9 bits-per-weight EXL3 quantization, a 196 GiB copy for people serving large models on their own hardware. Perplexity stay…
facebook · Kit
Generates short music clips from a text description or an audio prompt, in the small checkpoint of facebook's MusicGen. It suits developers and music hobbyists…
alpindale · Kit
Tags every character of C source code for syntax highlighting with a tiny neural network of about 984 weights, run through a small C program. For developers an…
prithivMLmods · Kit
Try a set of LoRAs for the FLUX.2 Klein image model in a Gradio app that runs in your browser or on your own computer. Made for people who make or test AI imag…
Sokheng · Kit
Reads Khmer and English text from documents, receipts and photos of signs, using a detector for text lines and a recogniser for each line. Suits developers who…