To generate the stubs run make stubs. The command will generate the stubs for you under the .stubs directory.
make stubs
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.
typeshed/tree/master/third_party/3/hammurabi