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

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