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