All work

LSP-pyrefly

Pyrefly type checking in Sublime, with the binary managed for you.

Source on GitLab Sublime Text · MPL-2.0 · v0.7.0
A Python file with a red error icon on the line describe(morning_wlak[0]) and an LSP hover popup from pyrefly showing the inferred signature def describe(sighting: Sighting) -> str with its docstring and Go to links.

LSP-pyrefly brings Meta's pyrefly type checker to Sublime Text through the LSP package: inline diagnostics, hover types, go-to-definition, and inlay hints.

It installs and updates pyrefly automatically in an isolated uv environment, and every pyrefly option is available as a Sublime setting.

Sublime Text exchanges Language Server Protocol requests and responses with pyrefly, Meta's Rust-based Python type checker; every pyrefly setting maps directly into Sublime's JSON settings, and a uv-managed environment installs and auto-updates pyrefly on its own on an hourly sync, with no manual binary management. Sublime LSP pyrefly every setting uv env hourly sync