3 ms·Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model7 points by adyashakti 5mo agoadyashakti 5mo ago[flagged]