Semcheck: Spec-Driven Development Using LLMs | Hacker News Reader