RecodeX 重构消息，开发者构建了一个面向OpenCode的静态验证插件，通过形式化方法（Z3路径分析、秘密跟踪、安全自动机）在工具调用前拦截并阻止不安全的AI操作（如路径遍历、数据泄露），确保执行安全。