Sat is a pre-built server and a set of APIs wrapped around Wasmtime, it could theoretically use WAMR as well!