goprove: A prover for Golang

Thu, 26 Mar 2026 00:00:00 +0000

Now that AI is writing a lot of production code. We need to have as many checks and validators as possible to validate the code AI writes. That’s why I want to share “goprove”. A project I have been cooking for more than a month (by hand, AI helped a lot with testing for edge cases though).

goprove.dev

It’s a “prover” for Golang. A prover that mathematically proves that your Go code is safe against certain issues such as nil pointer panics and integer overflows. Go was not built for safe mission-critical software. You will not be building a medical ICU monitor in Go (well, I certainly hope not XD). That’s a C++ job with all the tools that prove C++ code and certify it against explicit safety certification standards. And Rust has been catching up to this game.

Static-Analysis on The Smoking Duck Blog

goprove: A prover for Golang