什麼是 bisect-ssa-pass？
使用 noir-ssa CLI 來除錯 SSA 傳遞語意保留的工作流程。當程式的行為在 SSA 管道期間發生錯誤變更時使用 - 平分傳遞以識別哪個傳遞破壞了語義。 `pass_vs_prev` 模糊器會自動發現這類問題。 來源：noir-lang/noir。
·bisect-ssa-pass
>_
bisect-ssa-pass
✓使用 noir-ssa CLI 來除錯 SSA 傳遞語意保留的工作流程。當程式的行為在 SSA 管道期間發生錯誤變更時使用 - 平分傳遞以識別哪個傳遞破壞了語義。 `pass_vs_prev` 模糊器會自動發現這類問題。
如何安裝 bisect-ssa-pass
透過命令列快速安裝 bisect-ssa-pass AI 技能到你的開發環境
- 開啟終端機: 開啟你的終端機或命令列工具（如 Terminal、iTerm、Windows Terminal 等）
- 執行安裝指令: 複製並執行以下指令：npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass
- 驗證安裝: 安裝完成後，技能將自動設定到你的 AI 程式設計環境中，可以在 Claude Code、Cursor 或 OpenClaw 中使用
來源：noir-lang/noir。
SKILL.md
查看原文Use this skill when debugging SSA optimization bugs - situations where an SSA pass fails to preserve program semantics. This workflow bisects SSA passes to identify which one introduces the behavioral change.
Helper scripts are in the scripts/ directory of this skill.
You need a Noir project with a Prover.toml containing inputs that trigger the suspected issue. The program should produce incorrect results or exhibit unexpected behavior when executed.
使用 noir-ssa CLI 來除錯 SSA 傳遞語意保留的工作流程。當程式的行為在 SSA 管道期間發生錯誤變更時使用 - 平分傳遞以識別哪個傳遞破壞了語義。 `pass_vs_prev` 模糊器會自動發現這類問題。 來源：noir-lang/noir。
可引用資訊
為搜尋與 AI 引用準備的穩定欄位與指令。
- 安裝指令
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass- 分類
- >_效率工具
- 認證
- ✓
- 收錄時間
- 2026-02-20
- 更新時間
- 2026-03-10
快速解答
如何安裝 bisect-ssa-pass？
開啟你的終端機或命令列工具（如 Terminal、iTerm、Windows Terminal 等） 複製並執行以下指令：npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass 安裝完成後，技能將自動設定到你的 AI 程式設計環境中，可以在 Claude Code、Cursor 或 OpenClaw 中使用
這個 Skill 的原始碼在哪？
https://github.com/noir-lang/noir
詳情
- 分類
- >_效率工具
- 來源
- skills.sh
- 收錄時間
- 2026-02-20