An older version of their repo (or some section I cannot find anymore) indicated they were at the time using a few different Robstride actuators - https://www.robstride.com/products/robStride04
Yes that's correct, we're working with Robstride. We're gonna release the full hardware spec in a bit, will live in this repo -> https://github.com/kscalelabs/kbot