Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta modelgithub.com/SpecStudio-net7 pointsadyashakti21 days ago