Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense

The paper introduces a tool-mediated LLM architecture for autonomous cyber defense, designed to provide formal guarantees for high-stakes decision-making under adversarial pressure. It certifies controllability, observability, and Input-to-State Stability (ISS) robustness through a machine-checked Lyapunov function, demonstrating its effectiveness on real enterprise attack graphs.