mypy>=1.11
pydifact
