Menú
Run benchmarks and compare against performance budgets
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional 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.