HOL Guard: Warum KI-Agenten eine Runtime-Kontrolle vor dem Ausführen brauchen
Ein Entwickler lässt einen Coding-Agenten Tests reparieren. Der Agent liest Dateien, startet Shell-Befehle, installiert Pakete und verbindet sich vielleicht mit MCP-Servern. Genau dort entsteht das praktische Sicherheitsproblem: Zwischen „der Agent schlägt etwas vor“ und „auf dem Rechner passiert et