Module openapi 

OpenAPI spec generation and Swagger UI endpoint.

Serves the OpenAPI JSON spec at /openapi.json and provides a redirect to an external Swagger UI viewer at /docs.

Functions

get_docs_redirect

Handler: GET /docs — redirect to Swagger UI with the spec URL.

get_openapi_spec

Handler: GET /openapi.json

openapi_spec

Minimal OpenAPI 3.1 spec describing the Roboticus API.