Sift
把「可能有錯」變成可重跑的檢查。
從什麼問題開始
Go 寫的 AI code scanner。以 Semgrep rules、package verification、選擇性 LLM 分析與 SARIF 把錯誤變成可重跑檢查。
做了哪些事
- 以確定性規則先行，再用語意分析補充線索。
- 整合並行檢查、終端輸出、機器可讀報告與歷史紀錄。
資料怎麼走
- Semgrep 規則
- 套件驗證
- 可選 LLM 分析
- SARIF / JSON
- SQLite 歷史
把「可能有錯」變成可重跑的檢查。
Go 寫的 AI code scanner。以 Semgrep rules、package verification、選擇性 LLM 分析與 SARIF 把錯誤變成可重跑檢查。