A developer-friendly formatter for the Quint specification language that respects intentional layout while applying consistent conventions. Powered by tree-sitter-quint.
This release is an early public preview targeting Quint 0.32.x.
Requires Node.js 22 or newer.
npm install --global @legacycodehq/quint-format@nextIdentify the installed build with quintfmt --version (or quintfmt version).
Published packages report the canonical version; local builds add
(dev <commit>), with a -dirty suffix when built from an uncommitted working
tree.
Print a formatted file:
quintfmt spec.qntCheck files or directories without changing them:
quintfmt --check .Format files or directories in place:
quintfmt --write .For local setup and project maintenance, see DEVELOPMENT.md.
The separate internal Quint Format Review
tool opens a local browser with a .qnt file tree, original and formatted source
panels, linked syntax selections, and before/after Markdown copying. It invokes
the quintfmt executable found in PATH and can run against any Git working
directory without changing its files.
bun run --cwd tools/quint-format-review build
bun tools/quint-format-review/dist/cli.js /path/to/repositoryLicensed under the Apache License, Version 2.0.
Copyright (c) 2026-present, Legacy Code Headquarters (OPC) Private Limited. All rights reserved.