Mindket

AI skills and agents for developers

Prompts, coding agent briefs and kits for writing and reviewing code with fewer tokens.

Categories and filters
Filters
Clear filters

Listings

Writes, explains and fixes code on your own computer, as Unsloth's GGUF copy of the Qwen2.5-Coder 7B instruction model. For developers who want a local coding…

New

Predicts your next code edit from the open file, recent diffs and current state, running locally as a 1.5B Q8_0 GGUF model. For developers who want edit autoco…

New

Cuts the length of Qwen3.8-27B's reasoning on coding tasks so answers arrive sooner, as a small LoRA adapter. For people who run the base model on their own ha…

New

Sarvam-30B

sarvamai · Kit

A mixture-of-experts language model from Sarvam AI with 32.2B parameters and 2.4B active per token, built for practical use in English and many Indian language…

New

Flint INT4

RecursiveSI · Kit

A 4-bit MLX copy of Recursive Flint for local use on Apple Silicon, about 22.6 GB, launched through Rec with pi or OpenCode. Suits Mac users and developers who…

New

Qwen2.5-Coder-7B

Qwen · Kit

Completes and generates code as a 7.6B base language model that developers can run, fine-tune or use for fill in the middle tasks. Built for people making codi…

New

GGUF copy of a 32B code chat model that runs locally with llama.cpp. It writes, explains and fixes code from plain requests, for developers who want to run it…

New

Writes, explains and fixes code as a tiny 494M-parameter chat model with a 32,768-token context. Suits developers who want the smallest open Qwen coding model…

New

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…

New

AstrLink Guard

QuantumNous · Kit

Finds personal information and credentials in Chinese, English and mixed text, code, logs and AI coding assistant requests, locally in ONNX. For developers who…

New

IndiCodec

prakharkhatri · Kit

Turns speech into two streams of compact tokens and back into 24 kHz audio at 1.09 kbps, with a focus on English and ten Indian languages. It suits speech rese…

New

Primal VAE

ostris · Kit

Provides small image autoencoders that compress pictures to one or two latent channels and need no scaling factor, then patch up to match the Flux or Stable Di…

New

Runs a 26.9B parameter SenseNova-6.8-Code2Video model as a mixed precision GGUF file, in a terminal chat or a local server. For people who want that model on t…

New

ClipProj-MiniMax-H3

NicoLab28 · Kit

Lets a small Qwen3-VL stand in for the 32B text encoder of MiniMax H3 in ComfyUI, cutting VRAM from 15.7 GB to 4.5 GB. A proof of concept that needs a custom n…

New

Leanstral 1.5 119B A6B

mistralai · Kit

An open code-agent model from Mistral for the Lean 4 proof assistant. It proves theorems and fixes Lean code, takes text and images, and runs through the Mistr…

New

GGUF builds of a 30-billion-parameter agentic model for llama.cpp, with an optional image encoder and a speculative decoding drafter. They suit people who run…

New

SPEAR XLarge v2

marcoyang · Kit

Turns 16 kHz speech and general audio into 1280-number frame-level features, as a pretrained Zipformer encoder with about 600M parameters. For researchers who…

New

Maincoder-1B

Maincode · Kit

Completes and writes Python code from a function signature or a docstring. A 1B code model from Maincode that is small enough to run on consumer hardware, for…

New

LightVAE

lightx2v · Kit

Swaps in lighter video autoencoder parts for Wan2.1, Wan2.2 and MiniMax-H3, through a ComfyUI node or a Python script. For video AI users who want compact VAE…

New

ColGrep-Agent-2B

lightonai · Kit

A 2.5B-parameter model that finds the files and line ranges relevant to a bug report or question about a code repository, by searching and reading the repo. Ru…

New