NEXUS: Structured Runtime Safety for Tool-Using LLM Agents

NEXUS 要求 Agent 先产生结构化行动计划，再由可验证的规则层检查工具、参数、前置条件和潜在副作用，最后在 Allow、Block、Confirm、Revise 四种动作中选择。论文强调安全决策发生在工具执行之前，并可把修订后的计划重新送回 Agent，而非仅输出一次性拒绝。该设计把不可控的自然语言判断压缩为可审计的运行时决策接口，适合需要明确责任边界的 Agent 系统。