RecodeX 重构消息，研究提出一种为大型语言模型工具授权提供形式化模型的方法，确保非干扰性安全保证。