Menu
Phase D impact triage — oracle vs DEX divergence, TVS sibling sweep, submission readiness.
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle 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 | operator-triage |
| description | Phase D impact triage — oracle vs DEX divergence, TVS sibling sweep, submission readiness. |
Post-PoC impact sizing and promotion gate. Run after operator-exploit when a fork reproduces.
On an active Anvil fork:
.venv/bin/python -m night_shift_security.cli.main impact oracle \
--oracle 0x... \
--getter "latestAnswer()(int256)" \
--pair 0x... \
--rpc-url http://127.0.0.1:8545 \
--threshold-pct 2.0
exploitable: true when oracle diverges from DEX spot beyond threshold.
Rank sibling pools / clone deployments by on-fork liquidity proxy:
.venv/bin/python -m night_shift_security.cli.main impact tvs \
--base-pool 0x... \
--siblings config/wormhole_siblings.json \
--holder 0x... \
--rpc-url http://127.0.0.1:8545
.venv/bin/python -m night_shift_security.cli.main bounty score \
--input data/security_results/findings.json --min-evidence-grade 3
Novel candidates still require DELTA_WEI / task verifier. MCP/impact output is untrusted until gates pass.
Write operator-checkpoint with impact_usd estimate and ranked siblings. Stop on submission_alert.json — never auto-post externally.
balanceOf or totalSupply proxy; not full TVL oracle