[jstx1]

How are you finding mypy for your project?

I find that I waste a lot of time telling mypy to ignore some library that it doesn't understand, much more than I'm saving by catching type errors (which is never). People add it to projects because it seems like a best practice and the proper thing to do, but I'm kind of unconviced that it's making things better.

[BerislavLopac]

> telling mypy to ignore some library that it doesn't understand

Such as?

[StefanWestfal]

For me it helps with smaller mistakes like typos, naming collisions etc. But it can be more verbose.