REST Plugin API

rest_plugin is a builtin dstack plugin that allows writing custom plugins as API servers. The following is an OpenAPI documentation for a rest_plugin API server.