SpecStudio-net/Viveka

Witness-Centered Filter Layer for LLM Applications

7 best points · 0 comments · 1 Hacker News post · 5 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model (7 points, 0 comments, by adyashakti, 2026-06-02)