Show HN: Viveka, Lean으로 검증된 Advaita Vedanta 모델을 통한 LLM 출력 필터링

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