Deterministic verification layer for LLMs | AI hallucination detection | Model output validation | Formal verification for AI | Python ๐Ÿ