This is not related to the Vagrant<->CoreOS topic but since Vagrant box image format is a packaged ovf image it shouldn't be too hard to port the CoreOS images

This is not related to the Vagrant<->CoreOS topic but since Vagrant box image format is a packaged ovf image it shouldn't be too hard to port the CoreOS images to Vortex (https://github.com/websecurify/node-vortex https://github.com/websecurify/node-vortex).