Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning · Bharat Hunt