add `spec check` and change supported args of `spec exec`