Menu
Run the CI clippy and fmt checks (matching the GitHub Actions lint job) and fix any issues found.
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
A direct command skips the review prompt. Inspect the source before running it.
npx skills add https://github.com/succinctlabs/sp1 --skill ci-clippyThe command stays on one line. Scroll horizontally to inspect it before copying.
Prefer a local copy? Download the files currently available to SkillsMP.
Showing SKILL.md
Profile an SP1 zkVM program to find cycle-count hotspots. Use when the user asks to profile, find bottlenecks, see "where cycles go", or analyze performance of an SP1 program. Covers enabling the profiler, running it, and interpreting the Firefox-Profiler-format JSON without needing samply.
Update sp1-patches git repos when releasing a new SP1 version. Use when bumping SP1 version and need to update patched crypto crates.
Based on SOC occupation classification
| name | ci-clippy |
| description | Run the CI clippy and fmt checks (matching the GitHub Actions lint job) and fix any issues found. |
| allowed-tools | Read, Grep, Glob, Bash, Edit |
Run the same clippy and formatting checks as the CI lint job in .github/workflows/pr.yml, then fix any errors.
cargo fmt --all -- --check
cargo clippy --all-features --all-targets -- -D warnings -A incomplete-features
If either command reports errors, fix them:
cargo fmt --all or manually fix formattingRepeat until both commands pass cleanly.
clippy.toml about unreachable types (e.g. slop_koala_bear::*) are informational and not errors.test-artifacts build script warnings ("Skipping build due to clippy invocation") are expected.--timeout 600000 when running via Bash.