用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/succinctlabs/sp1 --skill ci-clippy命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
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.
基于 SOC 职业分类
正在显示 SKILL.md
| 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.