القائمة
Run the CI clippy and fmt checks (matching the GitHub Actions lint job) and fix any issues found.
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
التثبيت باستخدام 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.