mvar-security/mvar

MVAR: Information Flow Control for LLM Agent Runtimes — Deterministic prompt injection defense via dual-lattice IFC with cryptographic provenance. Built on 40 years of IFC research (FIDES, Jif, FlowCaml). Apache 2.0 licensed.

1 best points · 2 comments · 2 Hacker News posts · 6 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: MVAR – Deterministic sink enforcement for AI agent (1 points, 1 comments, by ShawnC21, 2026-02-26)
• MVAR: Deterministic execution firewall for LLM agents (50 attacks blocked) (1 points, 1 comments, by ShawnC21, 2026-03-10)