chore: add basedpyright dev tooling and refresh AGENTS note

2026-02-26 14:29:27 +08:00
parent 5c06a80d93
commit a3ed55fd0b
3 changed files with 42 additions and 7 deletions
@@ -29,3 +29,8 @@ torch = [

 [tool.setuptools]
 packages = ["opengait"]
+
+[dependency-groups]
+dev = [
+    "basedpyright>=1.38.1",
+]