No, you don't have to write the server stub yourself. You should generate it. See my comment below to another question [0] That's the upside that instead of g

No, you don't have to write the server stub yourself. You should generate it. See my comment below to another question [0] That's the upside that instead of generating specs from comments of methods, you actually generate the methods from the formally verified/linted and crafted spec. [0]. https://news.ycombinator.com/item?id=40208847 https://news.ycombinator.com/item?id=40208847