AI projects from Hugging Face

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…

MiroThinker-v1.0-8B

miromind-ai · Kit

An open research agent model that reasons over long contexts and calls tools many times per task to look up information. The 8B size, built on Qwen3-8B, suits…

KLM 1.5

MinimaLabs · Kit

A 99M-parameter base language model trained from scratch on 100B tokens, with a hybrid attention design. Made for researchers and tinkerers who want a tiny ope…

TRELLIS-image-large

microsoft · Kit

Generates a 3D asset from a single image, using Microsoft's large image-conditioned TRELLIS model. Made for developers, game artists and researchers who want 3…

Phi-4-multimodal-instruct

microsoft · Kit

Compact 5.6B model that takes text, images and audio and replies in text, with a 128K token context. For developers who want speech, vision and text in one sma…

Phi-4

microsoft · Kit

A 14B open language model from Microsoft Research, tuned for reasoning and chat in English with limited compute. It suits developers who add text features to a…

harrier-oss-v1-27b

microsoft · Kit

Turns text in many languages into embedding vectors for search, clustering, similarity, classification and reranking. Made for developers who run semantic sear…

Florence-2-large

microsoft · Kit

Captions images, finds objects and reads text in pictures when you pair an image with a short task prompt. Made for developers and researchers who run vision t…

GLM-5.3-Flash EXL3 4bpw for TensorFold

Mia-AiLab · Kit

4-bit EXL3 quantization of GLM-5.3-Flash prepared for TensorFold, with lower KL divergence than a popular TR3-4bpw quant at the same size. For people serving l…

Muse Glimmer 30B GGUF by meta-models

meta-models · Kit

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…

LongCat-AudioDiT-3.5B

meituan-longcat · Kit

Turns Chinese or English text into speech with a diffusion model that works directly on the waveform latent space, and can clone a voice from a reference sampl…

Maya-1

maya-research · Kit

An open-weight text-to-speech model where you describe the voice in plain words and add inline emotion cues. It suits developers and creators who need expressi…

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…

dale-9b (GGUF)

manuelgscom · Kit

Turns a Spanish or English request into one Linux bash command, returned as a small JSON object. For terminal users and developers who want a local command hel…

askmdb-9b-GGUF

manuelgscom · Kit

Writes a read-only MongoDB aggregate pipeline from a plain Spanish or English question. A GGUF copy of a Qwen3.5-9B fine-tune that runs locally with llama.cpp,…

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…

Qwen3.6-35B-A3B Claude 4.7 Opus Reasoning Distilled

lordx64 · Kit

Thinks in explicit think blocks before it answers, tuned on about 8k reasoning traces from Claude Opus 4.7. A 35B mixture-of-experts Qwen3.6 variant for hard m…

DeepSeek-V4.1-Flash-1017-FLARE

local-inference-lab · Kit

Signed Flare runtime packages of DeepSeek V4.1 Flash 1017 for four-GPU serving, handling text and images behind an OpenAI-compatible API. For people running la…

Qwen3.8-27B-MLX-8bit

lmstudio-community · Kit

Runs a 27B model that reads images and text in an 8-bit MLX build for Apple Silicon Macs. It suits people who want picture questions answered locally.

ControlNet v1.1 depth (SD 1.5)

lllyasviel · Kit

Steers Stable Diffusion 1.5 with a depth map so generated images keep the layout of a source picture. ControlNet v1.1 in diffusers format, for artists and deve…