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.
Deterministic execution boundary for AI agents. IFC enforcement at the sink. 5 frameworks. 50 attack vectors. Apache 2.0.
Add a description, image, and links to the deterministic-policy topic page so that developers can more easily learn about it.
To associate your repository with the deterministic-policy topic, visit your repo's landing page and select "manage topics."