ワンクリックで
operator-exploit
Phase C exploit execution — Foundry/Slither MCP, Anvil sandbox, PoC iteration.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
メニュー
Phase C exploit execution — Foundry/Slither MCP, Anvil sandbox, PoC iteration.
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 | operator-exploit |
| description | Phase C exploit execution — Foundry/Slither MCP, Anvil sandbox, PoC iteration. |
Use MCP tools (nss-foundry, nss-slither) or CLI equivalents. Never bypass NSS validation gates.
cd /home/kt/projects/rtp/night-shift-security
pip install -e '.[mcp]' # FastMCP servers
# Foundry on PATH; optional: slither-analyzer, docker
MCP wired in .mcp.json. Human gate per SOUL for paid RPC / mainnet probing.
Docker (preferred):
export ETHEREUM_RPC_URL="$ETHEREUM_RPC_URL"
.venv/bin/python -m night_shift_security.cli.main operator sandbox start --fork-block 16825925
Local Anvil:
.venv/bin/python -m night_shift_security.cli.main operator anvil start --fork-block 16825925
Stop: operator sandbox stop or operator anvil stop.
.venv/bin/python -m night_shift_security.cli.main operator forge-test \
--match-test testForkEulerHistoricalBlock \
--fork-block 16825925
MCP: forge_test(match_test=..., fork_block=...).
PoCs must emit DELTA_WEI / IMPACT_USD for task verifier.
After operator-recon triage:
.venv/bin/python -m night_shift_security.cli.main operator slither \
--repo /path/to/target \
--triage-json data/security_results/triage/kamino_files.json
MCP: slither_scan(project_root=..., triage_json=...).
Feed results into NSS pipeline; gates remain authoritative:
.venv/bin/python -m night_shift_security.cli.main --config src/night_shift_security/config/operator.json run
ETHEREUM_RPC_URL and docker composeslither-analyzer; tool returns clear errorvalidate_hypothesis() + task verifier passoperator-checkpoint before long PoC sessions