os-sentinel-safety-mobile-gui-agents

Detect safety violations in mobile GUI agents using dual mechanisms: formal verification rules for system-level risks (privilege escalation, credential exposure) and VLM-based contextual judges evaluating action appropriateness, achieving 10-30% safety improvement over baselines.

Independent GitHub snapshot · Automated classification · Original documentation governs