Search results

Bring back dry humor!

Status: Open.

#92 In m0n0x41d/haft;

· torbjorn opened on Jun 16, 2026

MCP haft_spec_section(action="approve") records baselines for L1.5-invalid sections (no gate / no warning)

Status: Open.

#89 In m0n0x41d/haft;

· Ilyuha888 opened on Jun 9, 2026

Open-Sleigh commission-first recovery can restart running commission at preflight

Status: Open.

#84 In m0n0x41d/haft;

· karabelaselias opened on May 16, 2026

Add first-class support for the Pi coding agent

Status: Open.

#82 In m0n0x41d/haft;

· karabelaselias opened on May 15, 2026

releases in windows

Status: Open.

#34 In m0n0x41d/haft;

· dm13379 opened on Mar 22, 2026

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/haft;

· q5sys opened on Dec 22, 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/haft;

· danstis opened on Dec 20, 2025