Add Pyrefly LSP specification

Author: xaskii

python_packages/jupyter_lsp/jupyter_lsp/specs/__init__.py

@@ -10,6 +10,7 @@
 from .julia_language_server import JuliaLanguageServer
 from .pyls import PalantirPythonLanguageServer
 from .pyright import PyrightLanguageServer
+from .pyrefly import PyreflyLanguageServer
 from .python_lsp_server import PythonLSPServer
 from .r_languageserver import RLanguageServer
 from .sql_language_server import SQLLanguageServer
@@ -31,6 +32,7 @@
 md = UnifiedLanguageServer()
 py_palantir = PalantirPythonLanguageServer()
 py_lsp_server = PythonLSPServer()
+pyrefly = PyreflyLanguageServer()
 pyright = PyrightLanguageServer()
 r = RLanguageServer()
 tex = Texlab()

python_packages/jupyter_lsp/jupyter_lsp/specs/config/pyrefly.schema.json

@@ -0,0 +1,19 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "title": "Pyrefly Language Server Configuration",
+  "type": "object",
+  "properties": {
+    "python.pyrefly.disableTypeErrors": {
+      "type": "boolean",
+      "default": false,
+      "description": "If true, pyrefly will not provide typecheck squiggles in the IDE. To control other IDE services, see `python.pyrefly.disableLanguageServices`",
+      "scope": "resource"
+    },
+    "python.pyrefly.disableLanguageServices": {
+      "type": "boolean",
+      "default": false,
+      "description": "If true, pyrefly will not provide other IDE services like completions, hover, definition, etc. To control type errors, see `python.pyrefly.disableTypeErrors`",
+      "scope": "resource"
+    }
+  }
+}

python_packages/jupyter_lsp/jupyter_lsp/specs/pyrefly.py

@@ -0,0 +1,23 @@
+from .config import load_config_schema
+from .utils import ShellSpec
+
+
+class PyreflyLanguageServer(ShellSpec):
+    key = cmd = "pyrefly"
+    args = ["lsp"]
+    languages = ["python"]
+    spec = dict(
+        display_name="Pyrefly",
+        mime_types=["text/python", "text/x-ipython"],
+        urls=dict(
+            home="https://github.com/facebook/pyrefly",
+            issues="https://github.com/facebook/pyrefly/issues",
+        ),
+        install=dict(
+            pip="pip install pyrefly",
+            uv="uv add pyrefly",
+            conda="conda install -c conda-forge pyrefly",
+        ),
+        config_schema=load_config_schema(key),
+        requires_documents_on_disk=False
+    )

python_packages/jupyter_lsp/setup.cfg

@@ -44,6 +44,7 @@ jupyter_lsp_spec_v1 =
     julia-language-server = jupyter_lsp.specs:julia
     python-language-server = jupyter_lsp.specs:py_palantir
     python-lsp-server = jupyter_lsp.specs:py_lsp_server
+    pyrefly = jupyter_lsp.specs:pyrefly
     pyright = jupyter_lsp.specs:pyright
     r-languageserver = jupyter_lsp.specs:r
     texlab = jupyter_lsp.specs:tex