v0.13.2—Control flow and dataflow are rebuilt on explicit semantics, Z3 translation matches executable C# numeric rules, and the build chain is hermetic and supply-chain verified with hash- and size-pinned Z3 binaries.See what's new

calor lsp

Start the Calor Language Server using the standard input/output transport.

Bash

calor lsp

Editors and integrations launch this long-running process and communicate with it using the Language Server Protocol. Do not write other output to its stdio stream. Point your editor's LSP client at this command; see the installation page for the current extension distribution status.