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.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准