You lost me at “Designing the Spec I fired up Claude Code and got to work.”

So proud of Claude for writing this app.

Pretty cool. I played around with Dafny at work for some security-related software and I was pondering if Dafny could be effective for other problems like complex web-app state management or even more standard services.