Add a spec for both KIF and Kiwi