Please send us a pull request if this is something you'd like this to live in the pyre-check repo!

You could make a new HN submission for this, not just a comment. I bet a lot of people will be interested in trying it and also discussing it.

I would be very interested. Thanks