Helix mypy