1 files changed, 33 insertions, 0 deletions
diff --git a/docker/scripts/lint.sh b/docker/scripts/lint.sh
new file mode 100755
index 0000000..09b8410
--- /dev/null
+++ b/docker/scripts/lint.sh
@@ -0,0 +1,33 @@
+#!/usr/bin/env bash
+# Author:  cirakg & claude ai
+# Summary: All static checks: project policy, Python lint and types, and strict Monkey C builds without warnings.
+#
+# Usage:   lint.sh DEVICE [DEVICE ...]
+#
+# 1. tools/lint_project.py: project rules (headers, no logging, no network, ...)
+# 2. ruff (lint + formatting) and mypy --strict on the Python tools
+# 3. tools/gen_products.py --check: the manifest's products meet the targets
+# 4. Debug and release builds with strict type checking (-l 3) on each device;
+#    build-app.sh fails on any compiler warning.
+set -euo pipefail
+# shellcheck source=ciq-env.sh
+source "$(dirname "${BASH_SOURCE[0]}")/ciq-env.sh"
+
+(($# > 0)) || die "usage: lint.sh DEVICE [DEVICE ...]"
+
+log "project policy"
+python3 /work/tools/lint_project.py /work
+
+log "Python tools: ruff and mypy"
+ruff check /work/tools
+ruff format --check /work/tools
+(cd /work && mypy)
+
+log "product list"
+python3 /work/tools/gen_products.py --check
+
+for device in "$@"; do
+  build-app.sh debug "${device}"
+  build-app.sh release "${device}"
+done
+log "lint passed"