Certbot is working on using mypy in our development process! We rely on OpenSSL.crypto and OpenSSL.SSL, and I only see stubs for the former. It would be great to have them for the latter as well.