Epistemic Engine – 驗證AI生成的代碼並預測哪些會出問題
Epistemic Engine 是一個計算認識論工具,用於驗證AI生成的代碼並預測代碼中信念的崩潰。它包括 ee guard(預提交驗證器)和 ee predict-chain(崩潰預測),具有確定性、離線運行和高精度。
Epistemic Engine 是一款專注於軟件的計算認識論工具,旨在解決AI生成代碼的信任問題。它通過將代碼庫視為一個由合理信念組成的系統——即代碼對其自身所做的聲明(例如“此函數驗證調用者身份”、“此值永不為null”、“此使用經過批准的加密”),重構這些信念在git歷史中的合理程度,並跟蹤信心隨時間的變化。
基於這一基礎,Epistemic Engine 提供了兩個可直接使用的工具:ee guard 和 ee predict-chain。ee guard 是一個預提交/CI驗證器,在代碼合併前阻止不安全或無充分理由的代碼,特別適用於審查AI生成的更改。它提取更改中的信念並攔截高風險項,同時集成OWASP類掃描器和已知CVE匹配。每個發現都附帶嚴重性、原因、具體修復方法和穩定指紋。ee guard 還支持內聯 # ee-ignore[rule] 抑制、disabled_rules 配置以及基線模式,方便團隊逐步採用。
ee predict-chain 則用於預測哪些信念即將崩潰。引擎已瞭解每個信念信心的侵蝕情況,predict-chain 將其向前投影,為每個風險信念提供:因果鏈(來自倉庫歷史或成本模型)、基於蒙特卡洛模擬的崩潰概率和日曆ETA,以及修復方案和投資回報率估計。它還會通過 ee calibrate 命令對倉庫自身歷史進行無泄漏回測,評估預測的可信度,如果模型不如基準猜測,則如實報告。
此外,Epistemic Engine 提供了一個本地離線儀表板(ee dashboard),可通過瀏覽器查看信念、預測和防護髮現。
工具的核心優勢在於其確定性:相同輸入產生字節完全相同的輸出,不依賴LLM、網絡或時鐘,結果可復現且可在CI中進行差異比較。它對不確定性誠實,採用威爾遜置信區間下限而非點估計進行評估,預測附帶校準評判,成本和ROI標註為假設。工具離線運行,僅通過顯式的 ee sync 命令訪問網絡。
安裝簡單:pip install epistemic-engine,需Python 3.10+,基於Apache-2.0許可。經過1500+生產文件測試,精確率和召回率均達到1.0,95%置信區間下限為0.92。