Search results

[Question] How can i upgrade quint code?

Status: Open.

#24 In m0n0x41d/quint-code;

· giaphutran12 opened on Dec 30, 2025

[Question] Can quint-code be used by multiple Agents at the same time?

Status: Open.

#23 In m0n0x41d/quint-code;

· A4ABATTERY opened on Dec 29, 2025

quint_decide fails with Transport Closed

bugSomething isn't workingSomething isn't working

Status: Open.

#21 In m0n0x41d/quint-code;

· twilightsaurus opened on Dec 24, 2025

Cline support?

proposalOpen-ended discussion or proposal on quint-code changes or feature requests.Open-ended discussion or proposal on quint-code changes or feature requests.

Status: Open.

#18 In m0n0x41d/quint-code;

· q5sys opened on Dec 22, 2025

Add concrete examples to documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#15 In m0n0x41d/quint-code;

· JonatanSahar opened on Dec 20, 2025

Does this speak over MCP

questionFurther information is requestedFurther information is requested

Status: Open.

#14 In m0n0x41d/quint-code;

· jakob1379 opened on Dec 20, 2025

Proposal: Add GitHub Copilot as a Supported Interface for Quint Code

proposalOpen-ended discussion or proposal on quint-code changes or feature requests.Open-ended discussion or proposal on quint-code changes or feature requests.

Status: Open.

#13 In m0n0x41d/quint-code;

· danstis opened on Dec 20, 2025