LLM-guided spec search