Use typeshed stubs for more complete static analysis of CircuitPython code (#29)

* Add typeshed

* Upgrade pyright

Author: nateinaction

.gitignore

@@ -9,6 +9,7 @@ coverage-reports/
 tools/
 venv
 **/*.mpy
+typeshed/
 firmware.uf2
 
 # libs

Makefile

@@ -1,11 +1,11 @@
-PYSQUARED_VERSION ?= v2.0.0-alpha-25w29
+PYSQUARED_VERSION ?= v2.0.0-alpha-25w34
 PYSQUARED ?= git+https://github.com/proveskit/pysquared@$(PYSQUARED_VERSION)
 BOARD_MOUNT_POINT ?= ""
 BOARD_TTY_PORT ?= ""
 VERSION ?= $(shell git tag --points-at HEAD --sort=-creatordate < /dev/null | head -n 1)
 
 .PHONY: all
-all: .venv download-libraries pre-commit-install help
+all: .venv typeshed download-libraries pre-commit-install help
 
 .PHONY: help
 help: ## Display this help.
@@ -19,6 +19,11 @@ help: ## Display this help.
 	@$(UV) venv
 	@$(UV) sync
 
+typeshed: ## Install CircuitPython typeshed stubs
+	@echo "Installing CircuitPython typeshed stubs..."
+	@$(MAKE) uv
+	@$(UV) pip install circuitpython-typeshed==0.1.0 --target typeshed
+
 .PHONY: download-libraries
 download-libraries: download-libraries-flight-software download-libraries-ground-station
 
@@ -44,7 +49,8 @@ sync-time: uv ## Syncs the time from your computer to the PROVES Kit board
 fmt: pre-commit-install ## Lint and format files
 	$(UVX) pre-commit run --all-files
 
-typecheck: .venv download-libraries ## Run type check
+.PHONY: typecheck
+typecheck: .venv download-libraries typeshed ## Run type check
 	@$(UV) run -m pyright .
 
 .PHONY: install

pyproject.toml

@@ -11,7 +11,7 @@ dev = [
     "adafruit-circuitpython-typing==1.12.1",
     "circuitpython-stubs==9.2.8",
     "pre-commit==4.2.0",
-    "pyright[nodejs]==1.1.402",
+    "pyright[nodejs]==1.1.404",
 ]
 
 [tool.ruff.format]
@@ -37,6 +37,8 @@ exclude = [
     "artifacts",
     "src/*/lib",
     "typings",
+    "typeshed",
 ]
 stubPath = "./typings"
+typeshedPath = "./typeshed"
 reportMissingModuleSource = false