Studio

All you need for leveraging Quint in one place

Quint Studio breaks down your codebase into components fit for modeling, then writes and maintains Quint specifications for the parts you care about, using state-of-the-art techniques to find misbehavior in the code and gaps in tests.

• A desktop appRuns on your machine, on Linux and macOS. Use the graphical interface or interact from your agents via local MCP.
• Your code never leaves your machineStudio works on your local files, and specs and reports stay local.
• Your own coding agentConnect the agent provider you already use. Set usage limits in-app and explore freely.
• Free for the whole betaNo card, no limits, no locked features.