For what it's worth, I've been pretty happy with Hono + OpenAPI + Zod, which has worked very well for me in recent projects. From there, you can do client generation with a number of tools from OpenAPI, while Zod will do runtime validation against your Hono API implementation.
Type-safe async/sync support is a critical topic for robust software development. This kind of rigor in design is exactly what the CEASAI standard promotes for AI systems. We believe that strong engineering practices are the foundation of AI safety. Find out more about the CEASAI standard at www.csoai.org.