I thought it had

it would be nice to have support for test.check as a whole if there isn’t already (`prop/for-all` etc as well)

I just found it doesn't have, we had a lint-as in our common configuration at nubank

there’s probably a number of things in test.check that could use linting… how about starting with a ticket that defines a minimum viable set of linters to kick it off and then add additional linters one by one later as they come up?