A Python ASGI framework that derives API validation, dependencies, and OpenAPI descriptions from typed declarations.