C++ Web Server on my custom hobby OS

Great website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...

Very cool! Why was and the entire networking stack straight forward, but not HTTP (and TCP)? Could you take inspiration form other projects for things like DNS?

You should add OpenAPI generation. So that basically the endpoint /openapi.json is auto-generated.

Can the OS run AI agents?