Architecture PaperAgent Governance
SafeTool: Sandboxed Execution for LLM Agent Tool Calls
A formal model for tool execution safety in agent runtimes, with static analysis, runtime monitoring, and rollback for irreversible operations.
16 min·Jul 2024
SafetyTool ExecutionFormal Methods