@settings decorator is not typed, breaks mypy --strict

@settings decorator is not typed, breaks mypy --strict: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). I'm trying to type-check my test suite under mypy --strict , and the @settings(...) decorator from Hypothesis causes errors on every test it's applied to.