NOMOS: Compiling Written Policies into Statically Verified Tool-Call Gates for LLM Agents
NOMOS is a four-pass compiler that transforms natural language policies into static, verified tool-call gates for LLM agents. It addresses the risk of relying solely on LLM extraction by inserting a rigorous static verification layer. This mechanism significantly reduces policy violations and ensures deterministic, safe execution at microsecond speeds.