菜单
Run benchmarks and compare against performance budgets
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Call graph soundness framework: 9 pattern families, 10 safety vetoes, soundness-vs-precision tradeoffs. Use before changing merge.rs, analyzer, or prune pipeline.
Assess if a CVE in a dep is reachable from project code using 15-signal union (runtime/static/external). Outputs audit trail. Security-grade, conservative.
Runtime+static consensus: 15-signal weights, modes, saturation curve. Scalpel's novel moat. Use before changing tracer merge, prune decision, or adding signal sources.
Use to validate Scalpel's pruning safety on any Python project. Analyzes a real-world Python project with test suite, identifies dead code, stubs it, then runs the full test suite to prove nothing broke. Invoke with: /prune-safety-test <project-url-or-path>
Use to validate ALL Scalpel capabilities on a real-world Python project — static analysis accuracy, genome building, reachability classification, pruning safety, and context generation. Invoke with: /validate-on-project <project-url-or-path>
Use when working on scalpel-core, scalpel-proto, Code Genome graph structure, hybrid merge logic, reachability algorithms, confidence classification, or edge resolution
| name | bench |
| description | Run benchmarks and compare against performance budgets |
| argument-hint | ["crate-name"] |
| allowed-tools | Bash, Read |
Run criterion benchmarks for Scalpel.
If an argument is provided:
cargo bench -p scalpel-$ARGUMENTS 2>&1
If no argument, run all benchmarks:
cargo bench --all 2>&1
After benchmarks complete, compare results against the performance budgets in CLAUDE.md:
Flag any benchmark that exceeds its budget as a REGRESSION.