Tracked Capabilities for Safer Agents
Summary
Martin Odersky discusses securing AI agents by tracking capabilities in static types, using Scala 3 capture checking. The approach aims to prevent data leakage and unsafe tool use by enforcing a safe, capability-aware infrastructure, demonstrated with the TACIT agent harness.