add-pass
Guide through verifying an MLIR optimization pass using Translation Validation - proving semantic equivalence between programs before and after optimization. Use when the user wants to verify an MLIR pass (e.g., sccp, constant folding, DCE) or add pass verification support.
$ Instalar
git clone https://github.com/Maokami/mlir-sem /tmp/mlir-sem && cp -r /tmp/mlir-sem/.claude/skills/add-pass ~/.claude/skills/mlir-sem// tip: Run this command in your terminal to install the skill
