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.
0Active
On the radar — signal detected
Stars
5
Forks
0
Contributors
1
Language
Python
Score updated Mar 26, 2026
// SUBSCRIBE
The repos that moved this week, why they matter, and what to watch next. One email. No noise.