ty still misses things caught by mypy. It also doesn't have the same level of support for Pydantic yet. I use it (because it's so damn fast), but along with mypy, not a replacement yet.

Yes, mypy is slow, but who cares if it's the agent waiting on it to complete.