メニュー
Use when scanning curated Immunefi Solana programs with NSS zero-RPC engine. Reads latest scan report.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Practitioner-elevated asset tracing patterns from SlowMist Crypto-Asset-Tracing-Handbook. Provides canonical property tables for obfuscation patterns (peel chains, mixers, bridge hops), address behavior clustering/risk profiling, cross-chain reconstruction workflows. Hard-first on behavioral + flow invariants. Integrates with codegraph-x-ray, deep-dive-handoff, and bounty forensics. Includes reference implementation for mixer deposit/withdrawal clustering. Trigger: alpha-miner on tracing handbook or similar.
Drop-in skill adapted from Glider query engine for static analysis, taint tracking, CFG/DFG traversal in bug bounty. Supports lazy reference loading, creativity layer for audited targets, integrates with bounty-loop. EVM priority with Solana compatibility.
Use for mining validator/runtime/cache/storage-key coherence bugs in blockchain clients, VMs, program loaders, bridge runtimes, and execution harnesses. Hard-first on stale cache, recycled identifier, partial flush, epoch/generation drift, mempool/order-dependent runtime state, and storage-key confusion. Trigger on runtime cache invariant, stale cache bug, VM storage confusion, client cache coherence, Aptos-style hijack, validator-local state, epoch-boundary bug, or when alpha-miner extracts runtime/client exploit engineering.
Cross-references a graphified target codebase (codegraph-x-ray output) against the local AuditVault corpus to surface structurally analogous historical vulnerabilities. Run after codegraph-x-ray has completed and produced invariants.md and property_candidates.md. Produces ranked pattern-match hits with per-finding graph anchor evidence. Pattern matches are advisory signals only — never evidence of exploitability and never a substitute for live reproduction or submission-gate validation.
Combines structured codegraph intelligence with rigorous invariant synthesis. Enforces high-quality usage of codegraph to identify the Primary Target Subsystem, then applies ordered structural invariant discovery with strict verification gates. Produces categorized invariants and high-quality property candidates ready for ultrafuzz-discovery. Trigger on codegraph-x-ray, x-ray with codegraph, invariant synthesis, primary subsystem invariants.
Optional accelerator and scaffolder for ultrafuzz-discovery. Brings parallel specialized invariant discovery agents, automated harness/handler scaffolding, coverage-driven refinement loops, property tagging, and reproducible test generation helpers from high-quality EVM fuzz patterns. Designed to speed up property fan-in and executable attempts phases while preserving NSS rigor, fresh-context pass@k, adjudication, and Crucible usage. Trigger on fuzz-scaffolder, accelerate invariant discovery, generate fuzz harness, scaffold handlers.
| name | immunefi-scan |
| description | Use when scanning curated Immunefi Solana programs with NSS zero-RPC engine. Reads latest scan report. |
Zero-RPC catalogue probe — no LLM expansion inside scan.
cd /home/kt/projects/rtp/night-shift-security
# List curated programs
.venv/bin/python -m night_shift_security.cli.main scan --list --ecosystem solana
# Full scan
.venv/bin/python -m night_shift_security.cli.main scan --ecosystem solana --min-bounty 250000
Outputs (Solana-only legacy path):
data/security_results/immunefi_scan/latest.jsondata/security_results/immunefi_scan/latest.mdUnified Immunefi + Cantina scan (used by bounty-loop / HIPIF scan_all):
.venv/bin/python -m night_shift_security.cli.main scan --platform all --min-bounty 250000
→ data/security_results/bounty_scan/latest.json
.venv/bin/python -m night_shift_security.cli.main platform sync --all
.venv/bin/python -m night_shift_security.cli.main platform diff
→ data/security_results/platform/{immunefi_programs,cantina_programs,scope_registry}.json (live platform coverage; sync before relying on counts)
Flag programs with scan_grade3_plus and high max bounty. Compare week-over-week deltas for Kamino, Raydium, Orca, Marinade. submittable_candidate requires qualifies_for_submission() — distinct from grade-3+ scan signal.
Next step: autonomous hunt uses bounty-loop inside HIPIF chain. Manual deep-dive: investigate-from-scan for Immunefi-only investigate CLI.
llm_expansion.enabled: false internally — do not pass --proposals.platform sync is authoritative for live Immunefi/Cantina coverage gaps.