Show HN: Math-spec-driven LLM skill for complex system specs | Heykuki News