specsafe-init

Initialize a new SpecSafe project in the current directory.