SEAL Operator Server REST API¶ The OpenAPI description of the server side REST API can be found here: HTML format YAML format JSON format