A tool for design-by-contract in Go - View it on GitHub