here's ours for pytype (a python type checker): https://google.github.io/pytype/errors.html