AI skills and agents for developers

officialmobai_Rostam-S1-4B-GGUF

bartowski · Kit

GGUF quantizations of Rostam-S1-4B, a 4B reasoning model for math, physics, software work and Persian-English text. For people who run small models locally and…

Phi-4-mini-instruct

microsoft · Kit

A 3.8B open instruction model from Microsoft with a 128K token context, built for reasoning, math and logic in tight memory or latency budgets. It suits develo…

Qwen3.8-9B-Distill

empero-ai · Kit

Reasons step by step through math, code and general questions, opening each answer with a thinking block. A 9B Qwen3.5 model trained on traces from a larger Qw…

ERNIE-4.5-21B-A3B-Thinking-GGUF

unsloth · Kit

Works through logic, math, science and coding problems with a 21B mixture-of-experts model that activates 3B parameters per token, in GGUF files by Unsloth. Su…

Qwen2.5-14B-Instruct

Qwen · Kit

Answers questions, writes code, does maths and returns structured JSON as a 14.7B-parameter chat model with a context window up to 131,072 tokens. Suits develo…

Olmo-3.1-32B-Think

allenai · Kit

Reasons step by step in English before it answers, which helps with math and coding questions. A 32B open model from allenai with published code, checkpoints a…

Beam-1.0-501B-A23B-NVFP4

reflection · Kit

Reads and writes text with a 1M-token context, built for coding, agent tool use and math reasoning, as a 501B-parameter mixture-of-experts model in NVFP4 form.…

Qwen2.5-7B-Instruct

Qwen · Kit

Chats, writes code, solves maths and returns structured JSON as a 7.6B-parameter instruction-tuned model with a context window up to 131,072 tokens. Suits deve…

gemma-4-E4B-it-weight-space-programming

jstarks · Kit

Google's Gemma 4 E4B-it with 0.002% of its weights edited directly, no training, to fix stalls in thinking mode with tool calls and multi-step math. Also ships…

Granite-4.2-30B

ibm-granite · Kit

Works through a problem in steps before it answers, for math, code, tool calling and multilingual chat. IBM's largest dense Granite 4.2 model, under Apache 2.0…

Qwen2.5-1.5B-Instruct

Qwen · Kit

A small 1.5B chat model from Qwen that follows instructions, writes code and math, returns structured output such as JSON and handles over 29 languages. For de…

MiniCPM5-2B-GGUF

openbmb · Kit

Gives you MiniCPM5-2B, a small dense text model for English and Chinese, as GGUF files for on-device and local use. Suits people who want a compact model for c…

Mellum2.1-12B-A2.5B-Thinking

JetBrains · Kit

A 12B mixture-of-experts thinking model with 2.5B active parameters, trained with reinforcement learning on real repositories for coding agents, math and hard…

Kimi-K3.1-Pro-Coder

Grawnch · Kit

Runs a heavily compressed copy of the 2.8T-parameter Kimi-K3.1-Pro, tuned for coding and math. Made by Grawnch with a three-tier mixed-bit scheme, for people w…

Qwen3.8-35B-A3B-Distill

empero-ai · Kit

Reasons step by step before it answers, using a 35B mixture-of-experts model that activates about 3B parameters per token. Distilled from Qwen3.8 teacher trace…

Qwen3-8B-GGUF

Qwen · Kit

Runs Qwen3-8B as quantized GGUF files in llama.cpp or Ollama, with a thinking mode for math, code and logic and a plain mode for chat. For people who want a lo…

DeepSeek-R1

deepseek-ai · Kit

Generates text with a 684B reasoning model trained mainly through reinforcement learning, aimed at math, code and logic. Suits researchers and teams who host l…

MiniCPM5-2B

openbmb · Kit

Generates text with a dense 2B-class model made for on-device and local use, covering coding, math, long context, tool use and agent tasks in English and Chine…

Qwen3.8-27B-DSpine-b16-GGUF

aj9o9 · Kit

A GGUF draft model that speeds up Qwen3.8-27B in llama.cpp through speculative decoding, reaching about 125 tokens per second on code and math on one RTX 3090.…