https://pyre-check.org/ roughly covers it.