菜单
Estrae la fetta minimale di un file Python o Go rilevante per un simbolo (funzione/classe/tipo), scartando tutto cio' che non puo' influenzarne il comportamento. Usalo prima di leggere per intero un file grande quando ti interessa solo un simbolo specifico.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
T2 della pipeline kernel: proietta un intero repository sul working set rilevante per un bug (P_Q a livello repo). Usalo PRIMA di esplorare un repo grande quando hai un sintomo concreto: stack trace, messaggio d'errore, file indiziati. Output: manifest ordinato con motivazioni + esclusioni recuperabili (page fault).
Operazioni e diagnostica del plugin context-kernel a linguaggio naturale, senza dover digitare slash command. Usala quando l'utente chiede — con parole sue — lo stato o la salute del kernel, quanti token ha risparmiato, un health-check (doctor), di giudicare i campioni A/B (answer-invariance), di recuperare un output parcheggiato/eliso (recall), la carta del task attiva, uno smoke test della compressione, o i tassi/prior appresi (tune). Esempi: "come va il context-kernel", "quanto ho risparmiato", "fai il doctor del kernel", "controlla che il plugin sia a posto", "giudica gli A/B", "recupera quell'output parcheggiato", "che carta del task ho attiva". Instrada verso lo script giusto; le attuazioni che SCRIVONO stato restano sempre esplicite.
T3 della pipeline kernel: dall'output dello slicer estrae la CARTA DEL TASK — i vincoli che il fix deve rispettare, ognuno con citazione file:riga. Converte massa di codice in proposizioni verificabili. Usala dopo kernel-repo-slice e prima di scrivere il fix.
Orchestrazione completa della pipeline kernel su un bug: T1 compressione (hook, ambientale) -> T2 repo slice -> T3 carta del task -> fix -> T4 verifica. Usala per bug non banali in repo medio-grandi; per bug piccoli usa direttamente kernel-repo-slice o niente.
Verifica se una compressione/proiezione del contesto ha preservato la risposta (answer-invariance A(x) = A(pi(x))). Usa la sessione corrente per rispondere e giudicare — nessuna chiave API, nessun costo extra oltre l'abbonamento.
| name | kernel-slice |
| description | Estrae la fetta minimale di un file Python o Go rilevante per un simbolo (funzione/classe/tipo), scartando tutto cio' che non puo' influenzarne il comportamento. Usalo prima di leggere per intero un file grande quando ti interessa solo un simbolo specifico. |
| disable-model-invocation | false |
| effort | low |
Quando serve ragionare su un simbolo specifico (una funzione, una classe, un tipo) dentro un file Python o Go grande, non leggere l'intero file: estrai solo la sua chiusura di raggiungibilita' sul grafo def-use. Tutto il resto (funzioni morte, import inutilizzati, classi scollegate) non puo' cambiare il comportamento del target, quindi e' rumore per il contesto.
kernel_slice con file e symbols.python3 "${CLAUDE_PLUGIN_ROOT}/skills/kernel-slice/scripts/slice.py" <file.(py|go)> <simbolo> [<simbolo2> ...]
Negli altri harness risolvi scripts/slice.py relativamente alla directory
di questa skill. Lo script stampa solo le definizioni top-level raggiungibili
dai target, piu' gli import effettivamente usati. Ragiona su quell'output invece
del file intero.
Rispetto ai simboli chiesti, il comportamento di un simbolo dipende solo dalle sue dipendenze transitive:
.py): answer-preserving per costruzione ed ESATTO — l'AST
della stdlib da' l'insieme d'uso preciso di ogni unita' top-level..go): answer-preserving conservativo — senza un parser Go nella
stdlib, l'insieme d'uso e' la sovra-approssimazione "tutti gli identificatori
del corpo" (stringhe e commenti mascherati): la fetta puo' tenere piu' del
minimo, ma non lascia mai fuori una dipendenza del target. Confine delle
unita' = convenzione gofmt (dichiarazioni a colonna 0); se lo split non e'
fidato (graffe sbilanciate su codice non-gofmt) ritorna il file intero.Se un simbolo non e' riconosciuto, o il file non e' .py/.go, lo script
ritorna il file intero (fail-safe): non perde mai informazione rilevante.