Viveka: filter LLM output against a Lean-verified Advaita Vedanta model

Viveka is an AI/ML project that filters large language model outputs through a Lean-verified formal model of Advaita Vedanta philosophy, ensuring generated content aligns with non-dualistic metaphysical principles. It is designed for researchers and practitioners in computational theology, AI safety, and Indian philosophy who need rigorous, contradiction-free spiritual discourse. The project is interesting because it bridges formal verification, machine learning, and ancient epistemology, creating a novel method to enforce doctrinal consistency in AI-generated text.