mvar-security/mvar
View on GitHub ↗ ★ 6 Python
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.
5 mentions on Hacker News by 1 person: 3 stories, 2 comments · first 2026-02-26 · latest 2026-03-16
20082026
-
▲ 1
Show HN: ClawZero – execution boundary stops prompt injection exfil in OpenClawstory by ShawnC21 · 2026-03-16 · 0 comments
-
…No classification, no configuration checklist — the boundary holds automatically. More on this here : github.com/mvar-security/mvar
comment by ShawnC21 · 2026-03-10 · in China issues second warning on OpenClaw risks amid adoption frenzy -
…at the sink level. Invariant: UNTRUSTED input + CRITICAL sink → BLOCK Just hit PyPI this week. https://github.com/mvar-security/mvar
comment by ShawnC21 · 2026-03-10 · in Ask HN: What Are You Working On? (March 2026) -
▲ 1
MVAR: Deterministic execution firewall for LLM agents (50 attacks blocked)story by ShawnC21 · 2026-03-10 · 1 comment
-
▲ 1
Show HN: MVAR – Deterministic sink enforcement for AI agentstory by ShawnC21 · 2026-02-26 · 1 comment