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

No listing has every word of “mixtral”. Showing what matches “mistral” instead.

Listings

Mistral-7B-v0.1

mistralai · Kit

Generates and continues text as a 7B pretrained base model, for researchers and developers who want a starting point to test, tune or build on.

New

Mistral-7B-Instruct-v0.1

mistralai · Kit

A 7B instruction-tuned chat model from Mistral, fine-tuned from Mistral-7B-v0.1 on public conversation datasets. Made for developers who want a small open mode…

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

Voxtral 4B TTS 2603

mistralai · Kit

An open-weights text-to-speech model from Mistral with 20 preset voices in nine languages, streaming output and low latency. Made for developers who build voic…

New

Mistral-7B-Instruct-v0.3

mistralai · Kit

A 7.2B open chat model from Mistral AI that follows instructions and can call functions you describe. It is fine-tuned from Mistral-7B-v0.3 and runs with mistr…

New