什么是 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