Mindket

Browse AI skills, agents and automations

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

zephyr-7b-beta

HuggingFaceH4 · Kit

Chats as a helpful assistant, built by tuning Mistral-7B with direct preference optimization. For developers and hobbyists who want a small open chat model the…

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

Voxtral Studio

codexxx · Kit

Turns speech into text, text into speech and a voice sample into a reusable cloned voice, using Mistral AI's Voxtral models through your own Mistral API key. F…

New

An n8n workflow that watches a folder and writes study notes for each new file. It stores the file in Qdrant, asks Mistral questions about it, and saves a stud…

NewFree