QVeris
IDE & CLI Setup — QVeris Documentation