I think this is just the cloud-hosted registry - the good old cli remains available, albeit under the non-free Business Source License: https://github.com/hashicorp/vagrant