Home

Welcome to the Serv wiki!

---

Serv is a tool for writing HTTP API servers which leverages modern type technology to ensure statically that your API, your API server, your documentation, your clients, etc are 100% in alignment.

To do this you first specify your API as a type and then use highly generic dependently typed functions to construct your server, client, documentation. These functions cannot result in non-compliant servers, clients, and documentation. Furthermore, they leverage information from your API-type to do a lot of work for you completely automatically.

• API types
• Serv versus Servant