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

Mentions per year 5 mentions · busiest year 2026 (5)

20082026

All Stories Comments Newest Top Oldest

…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)