Hi! AFAIK in Zappa you don't define infra in Python but rather in json. Also the vision of Stelvio is broader than just serverless. I wrote about my vision here https://blog.stelvio.dev/why-i-am-building-stelvio/ if you're interested.
While it's good to enable proprietary solutions like AWS, we should always make sure what we make is not bound to it.
This might mean that stelvio becomes a part of something more general.