Show HN: Gox – Strict static analyzer for Go designed for LLM-written code