st-trivial-inference-sail 12.1 API