ParentFull thread_el1s7·Stainless didn't do anything new, in fact, there already multiple different SDK generators just as goodView on HN