zkVerify

Refine a vendored patch in the patches/ directory to minimize differences with the upstream crate. Use when the user asks to "refine a patch", "minimize patch diff", "update a patch", "clean up a patch", "work on patches", "align patch with upstream", or references refining patches in patches/. Guides the full workflow: cloning upstream, comparing, reducing diff, producing PATCH.md + patch.patch + rustfmt.toml, testing, and compiling.

This skill should be used when the user asks to "run cargo audit", "triage cargo audit", "fix audit vulnerabilities", "update audit.toml", "check cargo audit ignores", "clean up audit ignore list", "review audit.toml", "remove stale audit ignores", or mentions resolving Rust security advisories or RUSTSEC identifiers. Provides a systematic workflow for analyzing each vulnerability, attempting updates, and writing motivated ignore entries when updates are not possible.