feat(py): move lint checks to scripts/lint and add config for pyrefly (#288)

Author: yesudeep

python/pyproject.toml

@@ -37,6 +37,7 @@ dev = [
   "tox-uv>=1.25.0",
   "nox>=2025.2.9",
   "nox-uv>=0.2.1",
+  "pyrefly>=0.16.1",
 ]
 lint = ["mypy>=1.14.1", "ruff>=0.9.2"]
 
@@ -152,3 +153,33 @@ disallow_incomplete_defs = true
 disallow_untyped_defs    = true
 strict                   = true
 warn_unused_configs      = true
+
+[tool.pyrefly]
+project_excludes = [
+  "**/.[!/.]*",     # Hidden files and folders.
+  "**/*venv/**",    # venv directories.
+  ".mypy_cache",
+  ".pytest_cache",
+  ".ruff_cache",
+  ".tox",
+  "__pypackages__",
+  "_build",
+  "build",
+  "dist",
+  "node_modules",
+]
+project_includes = ["dotpromptz", "handlebarrz", "tests"]
+python_version = "3.10" # Matches ruff.target-version
+search_path = ["."]
+
+# How to handle untyped function definitions.
+# "error": Emit an error (similar to mypy's disallow_untyped_defs = true).
+# "check": Type check the body as if it were annotated.
+# "skip": Skip checking the body (default).
+untyped_def_behavior = "error"
+
+# By default, all errors are enabled if the [tool.pyrefly.errors] table is empty or not present.
+# For maximum strictness similar to 'mypy --strict', we rely on this default behavior.
+# If specific errors need to be disabled later, they can be added here:
+# [tool.pyrefly.errors]
+# example-error-code = false

python/uv.lock

@@ -23,3 +23,12 @@ if ((EUID == 0)); then
 fi
 
 TOP_DIR=$(git rev-parse --show-toplevel)
+PY_DIR="${TOP_DIR}/python"
+
+uv run --directory "${PY_DIR}" ruff check --select I --fix --preview --unsafe-fixes .
+uv run --directory "${PY_DIR}" mypy .
+
+# Add pylyzer, ty, and pyrefly
+#uv run --directory "${PY_DIR}" pylyzer --check .
+#uv run --directory "${PY_DIR}" ty check
+uv run --directory "${PY_DIR}" pyrefly check

scripts/lint

@@ -36,8 +36,7 @@ PYTHON_VERSIONS=(
 )
 
 echo "=== Running Python lint ==="
-uv run --directory "${PY_DIR}" ruff check --select I --fix --preview --unsafe-fixes .
-uv run --directory "${PY_DIR}" mypy .
+"${TOP_DIR}/scripts/lint"
 
 echo "=== Running Python tests ==="
 echo "Project root: ${TOP_DIR}"