We'd be welcome to other type checkers! We intentionally structured the folder to be python/typecheck/mypy, rather than python/mypy, so that we can add others. The decision was based on popularity and also internal usage for the pants project