Anyone using OpenSpec or SpecKit with RovoDev?

I'd like to get more of a structure to my development with RovoDev, has anyone tried either of these CLI tools? Is it possible to add them to RovoDev?