diff --git a/pyrightconfig.stricter.json b/pyrightconfig.stricter.json
index 7afdcc3eab14..f7dcfd0d4c51 100644
--- a/pyrightconfig.stricter.json
+++ b/pyrightconfig.stricter.json
@@ -74,6 +74,7 @@
         "stubs/protobuf",
         "stubs/psutil/psutil/__init__.pyi",
         "stubs/psycopg2",
+        "stubs/punq",
         "stubs/pyasn1",
         "stubs/pycurl",
         "stubs/Pygments",
diff --git a/stubs/punq/@tests/stubtest_allowlist.txt b/stubs/punq/@tests/stubtest_allowlist.txt
new file mode 100644
index 000000000000..e2c11ed54e4d
--- /dev/null
+++ b/stubs/punq/@tests/stubtest_allowlist.txt
@@ -0,0 +1 @@
+ punq._Empty.__init__
diff --git a/stubs/punq/METADATA.toml b/stubs/punq/METADATA.toml
new file mode 100644
index 000000000000..99e472d4bbd4
--- /dev/null
+++ b/stubs/punq/METADATA.toml
@@ -0,0 +1,4 @@
+version = "0.7.*"
+upstream_repository = "https://github.com/bobthemighty/punq"
+
+[tool.stubtest]
diff --git a/stubs/punq/punq/__init__.pyi b/stubs/punq/punq/__init__.pyi
new file mode 100644
index 000000000000..196d64445f06
--- /dev/null
+++ b/stubs/punq/punq/__init__.pyi
@@ -0,0 +1,92 @@
+from collections.abc import Callable
+from enum import Enum
+from typing import Any, Final, Generic, NamedTuple, NewType, TypeVar, overload
+
+__version__: str
+
+class MissingDependencyException(Exception): ...
+class MissingDependencyError(MissingDependencyException): ...
+class InvalidRegistrationException(Exception): ...
+class InvalidRegistrationError(InvalidRegistrationException): ...
+class InvalidForwardReferenceException(Exception): ...
+class InvalidForwardReferenceError(InvalidForwardReferenceException): ...
+
+class Scope(Enum):
+    transient = 0
+    singleton = 1
+
+_T = TypeVar("_T", default=Any)
+
+class _Registration(NamedTuple, Generic[_T]):
+    service: type[_T] | str
+    scope: Scope
+    builder: Callable[..., _T]
+    needs: dict[str, Any]  # the type hints of the builder's parameters
+    args: dict[str, Any]  # passed to builder at instantiation time
+
+_Empty = NewType("_Empty", object)  # a class at runtime
+empty: Final[_Empty]
+
+class _Registry:
+    def register_service_and_impl(
+        self,
+        service: type[_T] | str,
+        scope: Scope,
+        impl: type[_T],
+        resolve_args: dict[str, Any],  # forwarded to _Registration.builder
+    ) -> None: ...
+    def register_service_and_instance(self, service: type[_T] | str, instance: _T) -> None: ...
+    def register_concrete_service(self, service: type | str, scope: Scope) -> None: ...
+    def build_context(self, key: type | str, existing: _ResolutionContext | None = None) -> _ResolutionContext: ...
+    def register(
+        self,
+        service: type[_T] | str,
+        factory: Callable[..., _T] | _Empty = ...,
+        instance: _T | _Empty = ...,
+        scope: Scope = Scope.transient,
+        **kwargs: Any,  # forwarded to _Registration.builder
+    ) -> None: ...
+    def __getitem__(self, service: type[_T] | str) -> list[_Registration[_T]]: ...
+
+class _ResolutionTarget(Generic[_T]):
+    service: type[_T] | str
+    impls: list[_Registration[_T]]
+    def __init__(self, key: type[_T] | str, impls: list[_Registration[_T]]) -> None: ...
+    def is_generic_list(self) -> bool: ...
+    @property
+    def generic_parameter(self) -> Any: ...  # returns the first annotated generic parameter of the service
+    def next_impl(self) -> _Registration[_T]: ...
+
+class _ResolutionContext:
+    targets: dict[type | str, _ResolutionTarget[Any]]
+    cache: dict[type | str, Any]  # resolved objects during this resolution
+    service: type | str
+    def __init__(self, key: type | str, impls: list[_Registration[Any]]) -> None: ...
+    def target(self, key: type[_T] | str) -> _ResolutionTarget[_T]: ...
+    def has_cached(self, key: type | str) -> bool: ...
+    def __getitem__(self, key: type[_T] | str) -> _T: ...
+    def __setitem__(self, key: type[_T] | str, value: _T) -> None: ...
+    def all_registrations(self, service: type[_T] | str) -> list[_Registration[_T]]: ...
+
+class Container:
+    registrations: _Registry
+    def __init__(self) -> None: ...
+    # all kwargs are forwarded to _Registration.builder
+    @overload
+    def register(self, service: type[_T] | str, *, instance: _T, **kwargs: Any) -> Container: ...
+    @overload
+    def register(
+        self, service: type[_T] | str, factory: Callable[..., _T] | _Empty = ..., *, scope: Scope = Scope.transient, **kwargs: Any
+    ) -> Container: ...
+    @overload
+    def register(
+        self,
+        service: type[_T] | str,
+        factory: Callable[..., _T] | _Empty = ...,
+        instance: _T | _Empty = ...,
+        scope: Scope = Scope.transient,
+        **kwargs: Any,
+    ): ...
+    def resolve_all(self, service: type[_T] | str, **kwargs: Any) -> list[_T]: ...
+    def resolve(self, service_key: type[_T] | str, **kwargs: Any) -> _T: ...
+    def instantiate(self, service_key: type[_T] | str, **kwargs: Any) -> _T: ...