RecodeX 重构消息，开发者在一篇技术分享中发布了一款基于形式逻辑的确定性提示注入检测器，用于识别针对大语言模型的提示注入攻击。该工具以形式逻辑规则进行判定，而非依赖概率模型，因此检测结果具有确定性。