Stub files

Generate stubs directory

To generate the stubs run make stubs. The command will generate the stubs for you under the .stubs directory.

Update stubs for mypy

To update the stubs globally for mypy you need to open a PR for typeshed.

Hammurabi stubs can be found at typeshed/tree/master/third_party/3/hammurabi.