Blocking an AI agent's tool call before it runs: runtime verification with LTL3

AI agents that call real tools — deleting records, sending payments, editing files — don't usually...