Flujo de trabajo para depurar la preservación semántica del paso SSA mediante la CLI noir-ssa. Úselo cuando el comportamiento de un programa cambia incorrectamente durante la canalización de SSA: divide pases para identificar cuál rompe la semántica. El fuzzer `pass_vs_prev` encuentra estos problemas automáticamente.
Instala rápidamente el skill de IA bisect-ssa-pass en tu entorno de desarrollo mediante línea de comandos
Fuente: noir-lang/noir.
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.
Flujo de trabajo para depurar la preservación semántica del paso SSA mediante la CLI noir-ssa. Úselo cuando el comportamiento de un programa cambia incorrectamente durante la canalización de SSA: divide pases para identificar cuál rompe la semántica. El fuzzer `pass_vs_prev` encuentra estos problemas automáticamente. Fuente: noir-lang/noir.
Campos y comandos estables para citas de IA/búsqueda.
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-passFlujo de trabajo para depurar la preservación semántica del paso SSA mediante la CLI noir-ssa. Úselo cuando el comportamiento de un programa cambia incorrectamente durante la canalización de SSA: divide pases para identificar cuál rompe la semántica. El fuzzer `pass_vs_prev` encuentra estos problemas automáticamente. Fuente: noir-lang/noir.
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code, Cursor u OpenClaw
https://github.com/noir-lang/noir