REA

Use REA when a claim depends on a shipped binary or package, decompilation, requested runtime evidence, or comparison with behavior not established by available source. For ordinary analysis of a complete source repository, use normal repository tools and do not run REA readiness or provider commands.

Connect only when needed

Installing this skill supplies instructions; it does not register the REA MCP server, install analysis engines, or add tools to an already-running agent.

If REA tools are available and their registration is not known to be stale, proceed directly to the target. Do not run diagnostics or setup before every investigation. Use the connected server's actual tool list and input schemas; a skill installed from repository main may describe capabilities absent from an older npm release. Keep complete inline Evidence when that server does not advertise retained references.

If tools are absent, a call is blocked by the client, or a required provider is unavailable, read connection and recovery. Diagnose the observed blocker, continue useful supported work, and resume the original task after repair. Client approval, shell PATH, registration and engine availability have different remedies; avoid repeating setup for all of them. If the host times out without a REA result, do not repeat the unchanged call or assume work stopped. Read the recovery guide's deadline distinction before retrying. If the MCP connection drops, retry that call once only when it is safe to repeat or known not to have started. If it may already have changed the target, or it fails again, tell the user and ask them to restart the MCP client. If REA could not start its connection, retry once, then tell the user and ask them to restart the MCP client. Do not retry a startup failure that returns the same unchanged result. Run rea doctor when REA could not start or tools stay missing after that restart. For cleanup_incomplete, a retryable capacity limit, or configuration_invalid, follow the recovery guide's ladder before asking for a restart. Read that guide before a second repair attempt.

1. Diagnose without changing REA or client configuration. npx may download the package and write to npm's cache. For Codex, run npx -y rea-agents@latest doctor --client codex --json. Substitute the current supported client: claude_code, claude_desktop, codex, cursor, gemini_cli, windsurf, devin, opencode, antigravity, copilot_cli, commandcode, vscode, grok_build, omp, or grok_bot. grok_bot has no local file registration: doctor reports the Grok Bot chat step, and setup does not write mcp.json. If the client is unknown, use doctor --json and inspect its registration results before choosing a setup scope.
2. Distinguish the reason. Missing, malformed, or stale registration needs a scoped configuration repair. An aligned registration with no tools in the active session needs a restart/reconnection; doctor cannot prove that the current agent has connected. A missing provider affects only tasks requiring that provider: static JavaScript inspection needs neither Hopper nor Ghidra, and Android inspection has separate bring-your-own JADX/Java prerequisites.
3. For a configuration repair, prepare the read-only plan: npx -y rea-agents@latest setup --client codex --dry-run --json. Use the current client's ID, show its exact proposed paths, backups, and changes, and obtain approval before setup writes configuration or installs Hopper. Setup normally installs the matching bundled skill too; include that replacement in the reviewed plan. After approval, apply the same scope with npx -y rea-agents@latest setup --client codex --yes. Add --install-hopper only if that separate installation was needed and explicitly approved.
4. Restart/reconnect the affected agent. Verify that REA tools actually appear in the session, then resume the original investigation. If they remain absent, inspect the client's MCP launch error rather than repeating setup.

REA setup never installs or upgrades Node.js, npm, Homebrew, Java, Ghidra, IDA, JADX, Kuna, Binwalk, or Unblob. Use existing prerequisites; do not install unrelated software to repair MCP registration. For an unsupported client, use manual stdio registration with a version-pinned rea-agents package or continue through the CLI.

A concrete CLI fallback for an operator-supplied JavaScript tree or ASAR is:

npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json

No MCP registration or native engine is required. Read the returned Evidence, graph, limitations, and unknowns with the same care as an MCP result; the CLI returns the Evidence record directly. This fallback does not establish that MCP is configured. Native CLI tasks still require their selected engine. Prefer an existing rea CLI. When none is installed and REA package acquisition is within the authorized scope, use npx -y rea-agents@latest in its place. Configuration repair starts with a read-only setup plan; show paths, backups and skill replacement before applying authorized changes. Preserve existing approval and target-execution boundaries.

Route the target first

Choose the first tool from the target the user supplied. Use open_binary for active-target native or archive workflows; target-free tools take their own explicit path or endpoint and do not need it.

• ASAR or extracted JavaScript/Electron tree: analyze_javascript_application.

• Archive/package member inventory (ZIP/APK/IPA/MSIX/AppX, DMG, or a PyInstaller executable): open_binary with the supplied local path; use inspect_artifact when its graph and findings help answer the question. A PyInstaller CArchive is the application layer; the bootloader is only the native prefix. Start with detail: "summary" for large inventories, then use retained inventory views for selected member fields/pages. A complete small inventory can cost less than extra calls and schemas. Runtime options are metadata, not files. Compact delivery still inventories and hashes members. See the Python packaged applications guide.

• Apple app plist, Interface Builder, asset catalog, or keyed archive resources: open_bundle_resources, then the selected resource tool. This does not require CFBundleExecutable or a deep provider. Resource sessions have no executable digest or binary snapshot; use open_binary for native code.

• Android APK code, classes, methods, or incoming references: inspect_android_package, then focused Android tools when advertised. Archive member inventory still uses the archive route above.

• Managed PE/CLI assembly: inspect_managed_artifact.

• Firmware image: inspect_firmware_regions when advertised. Use extract_firmware when extraction is requested, with a caller-selected new absolute output directory. These tools use caller-supplied Binwalk/Unblob on Linux; see the firmware guide.

• .NET NativeAOT PE/ELF: native Ghidra analysis. Native code can yield pseudocode; consult the NativeAOT workflow in references/native-and-artifacts.md for optional metadata recovery and its supported host/layout boundary.

• Native program behavior, live calls, instrumentation, or command-run effects: choose the matching native runtime workflow. open_binary and trace_native_values establish static facts; they do not observe execution. Runtime tools have distinct launch, attach, mutation and cleanup effects, and do not require a preliminary static session unless their own contract says so.

• User-owned browser page already open: list_browser_targets.

• Browser action the agent must perform (click, type, navigate): capture_browser_scenario with declared actions. See runtime observation for connect/launch and the focused follow-up browser tools.

• Agent environment (AgentEnv bundle) of a web application: read environments before recording; it records with capture_browser_scenario and writes the bundle with export_environment_bundle.

• Fiddler Everywhere traffic or a native .saz capture: read the Fiddler workflow. Inspect saved SAZ with inspect_web_network_capture and format: "saz"; connect Everywhere's separate MCP server for live traffic.

• Retained HAR/SAZ/native mitmproxy/aioquic qlog capture: inspect_web_network_capture. Select original record ordinals when useful; inspect producer fields and byte/number sidecars without fetching recorded URLs or claiming live attribution. HAR/SAZ/qlog old-generation heap is REA_CAPTURE_DECODER_OLD_GENERATION_MIB (default 192 MiB, floor 8, maximum 16384), set where REA starts. Host memory and NODE_OPTIONS do not raise it. See historical captures for the exact upstream profile and credential exclusions. Qlog support starts with aioquic 1.5.0 JSON 0.3; stream coverage and endpoint loss declarations do not recover bodies or establish network loss. Prefer detail summary, then kind qlog trace/stream pages; select one trace, stream ID and direction for contribution/range pages. Facts retain all-recorded-events-before-selection scope. Other qlog layouts and PCAP correlation are unsupported.

• User-owned Electron runtime already open: list_electron_targets. Before an electron-main Inspector attempt, check packaged fuses with inspect_electron_fuses; disabled EnableNodeCliInspectArguments means the app ignores --inspect.

• Packet-field discovery: inspect_packet_fields searches installed protocols and field names/types before choosing fields for inspect_packet_capture. Query/page the relevant records; registrations do not establish observed traffic.

• Recorded packet captures: inspect_packet_capture with selected TShark fields, display filters and decode-as rules. Requires Linux, util-linux prlimit and REA_TSHARK_COMMAND; see capture guide. Packet limits count input packets before filtering. Output defaults to 50 matching frames; use match_offset / match_limit for later pages, or explicit null limit for complete matching output. Preserve the source digest across pages. This does not perform live capture. For address/DNS/SNI/protocol summaries use inspect_pcap_capture with MCP detail summary, then retained kind pcap pages. Requires Wireshark 4.x tshark and capinfos, with Linux prlimit or Windows Job Objects; see packet summaries. Select an exact DNS question for address pages; page exhaustion does not prove network completeness. This reads recordings and does not acquire traffic.

• Decoder discovery: inspect_signal_decoders searches installed decoder IDs or selected decoder help, including channels and options. Query and page the relevant details before choosing settings; this does not scan hardware.

• Recorded logic/signal traces: decode_signal_recording with explicit decoder, channel and protocol settings. On Linux with util-linux prlimit, supply sigrok-cli 0.7.2 through REA_SIGROK_COMMAND; see recording guide. Output defaults to 50 literal lines; select annotation classes and page with line_offset / line_limit, or explicit null for all remaining output. Window counts are display lines, not annotations or samples. Preserve source digests across pages. This reads existing files; it does not acquire hardware signals.

• Explicit local WebAssembly artifact: inspect_wasm_artifact. Supply WABT 1.0.42 through REA_WABT_BIN_DIRECTORY; retain exact byte/tool identity and decoded WAT. Select JavaScript glue and candidate paths explicitly and preserve URL/path ambiguity. No implicit fetch or target execution; WAT is not original source. See the WASM guide.

• Explicit local Android APK (or ZIP/AAB) signing: inspect_apk_signature. Prefer its summary or selected signer/digest/lineage page; retain complete Evidence and use inspect_analysis_view kind apk-signature for follow-ups. Reports which schemes are present (v1 JAR, v2, v3, v3.1), each signer's certificate SHA-256 fingerprint (v1 included, from its PKCS#7 block), v3 key-rotation lineage, source stamp, and whether each signed digest still matches the bytes (self-consistency). This is identity and integrity, not a trust or authenticity verdict. See the APK signature guide.

• Explicit local EVM bytecode carrier: inspect_evm_interface with caller-selected raw or hex encoding. The owned worker deadline is timeout_ms (default 30000 ms, range 1..2147483647, next call). It does not raise the fixed byte, address-space, or CPU allowances. Preserve carrier/decoded digests and treat selectors, argument strings and mutability as inferred candidates; this performs no chain lookup or target execution. For the complete inferred interface without hex or duplicate stdout, discover support and select detail: "summary"; complete Evidence stays retained under its original identity. Use the returned parent_evidence_id for exact function or bytecode_hex/stdout/stderr pages. Candidate coverage does not establish interface completeness. See the EVM bytecode guide.

• Embedded Go compiler, module or build-setting metadata: inspect_go_binary with the explicit local file. This built-in target-free inspection requires no Go installation or disassembler. Preserve raw module bytes and source ranges; absent metadata does not prove a binary is not Go, and unparsed text records remain explicit. See the Go binary guide.

• Embedded CUDA/HIP code objects: inspect_gpu_code_objects; inventory targets first, then decode selected payloads and query retained GPU Evidence.

• Bundled GGUF or safetensors model declarations: inspect_model_artifact with the explicit local file. Default header hashing leaves full-file identity unknown; hash: "full" additionally reads all weights for SHA-256. MCP returns retained summaries; optional view selects one page in the initial call. Use inspect_analysis_view kind model-artifact for batched metadata keys, tensor names or type totals, selected fields and pages. Preserve header-scoped indices and array preview omissions; do not infer model behavior from declared architecture or tensor types. See the model file guide.

• Unity IL2CPP names, member owners and string literals from global-metadata.dat: inspect_il2cpp_metadata with the explicit local file; MCP defaults to compact counts. Query sections, images, types, methods, fields, properties, events, parameters or string_literals through inspect_analysis_view with the returned parent_evidence_id, using exact filters, batch indices and selected fields. Parameters accept method_indices, avoiding a scan of all parameter pages. Missing collections in historical Evidence remain unknown. Versions 24, 27, 29, 31 and 39; no Unity, IL2CPP binary or disassembler is run. Unrecognized magic (possibly encrypted) and other versions are unsupported. Optional matching binary_path enables static native addresses and type references; query method_addresses with indices or addresses/states, preserving every shared-body method and both artifact identities. Without a linked binary native counts remain unknown. Byte-pattern fallback is inferred; no runtime behavior or same-build pairing is proved. See the IL2CPP metadata guide.

• Embedded cargo-auditable Rust dependency metadata: inspect_rust_binary with the explicit local ELF, PE, or thin Mach-O file. This built-in target-free inspection requires no Rust installation or disassembler. Preserve package order, dependency indices, and the section file range. A missing .dep-v0 section is null metadata, not proof the binary has no dependencies. A rustc commit hash is an inference from a read-only /rustc/<40-hex>/ path. For selected crates, use view: {collection: "packages", names: [...], fields: ["name", "version", "source"]} on the first call; explicitly include dependencies for direct index references. Use detail: "summary" for counts and ranges, or retained inspect_analysis_view Rust package/edge pages for subsequent filters. Keep the complete parent Evidence accessible; CLI compact delivery requires --evidence_output. See the Rust binary guide.

• PE Authenticode certificate table: inspect_pe_certificates with the explicit local PE32/PE32+ file. This built-in target-free inspection requires no Windows SDK. Preserve WIN_CERTIFICATE ranges, types, payload SHA-256, and PKCS#7 signer/X.509 identity fields, including subject_key_identifier_hex when the signer uses that form. A missing security directory is observed absence of that table, not proof the image is unsigned in every catalog sense. Signatures are not verified. See the PE certificate guide.

• PE import and delay-load tables: inspect_pe_imports with the explicit local PE32/PE32+ file. This built-in target-free inspection requires no Windows SDK. Preserve DLL names, named and ordinal functions, ILT/IAT RVAs, delay-load descriptors, and the pefile import hash of the standard import table. A missing import directory is observed absence of that table, not proof the image never imported APIs through another table. Bound snapshots and loaded IAT contents remain unobserved. See the PE import guide.

• PE TLS callbacks and load configuration: inspect_pe_load_config with the explicit local PE32/PE32+ file. This built-in target-free inspection requires no Windows SDK. Preserve callback VAs as strings with their RVA, file offset and section, and the size-covered security cookie, SafeSEH, CFG, EH-continuation and XFG fields. Guard-flag mitigation claims are inferred linker declarations, not proof of enforcement. A missing directory is observed absence of that declaration. See the PE load configuration guide.

• ELF note tables: inspect_elf_notes with the explicit local ELF32/ELF64 file. This built-in target-free inspection requires no disassembler. Preserve PT_NOTE and SHT_NOTE ranges, owners, types, descriptor SHA-256, and GNU build-id or ABI-tag fields. A missing table is observed absence of those declarations, not proof the image never carried notes. See the ELF notes guide.

• Apple .ips crash reports: inspect_apple_ips with the explicit local file. This built-in target-free inspection requires no Xcode, atos, or pwntools. Preserve first-line metadata, bug_type as a string, process and exception facts, lossless integer registers, usedImages UUIDs, and documented classification matches. Only bug_type "309" yields a crash body; other types, including "288" stackshots, return no crash result. Opened Mach-O and dSYM UUID joins remain unobserved. See the Apple IPS guide.

• Linux kernel module metadata: inspect_kernel_module with the explicit local ELF32/ELF64 relocatable file. This built-in target-free inspection requires no Linux host or modinfo. Preserve .modinfo key order and duplicate keys, __versions CRC hex, section file ranges, and the appended signature trailer's PKCS#7 SHA-256. A missing section is observed absence when section names are known, not proof the module never carried that metadata. struct module is not decoded. The signature is not validated. gzip, xz, and zstd containers are unsupported; decompress into a separate file with an external codec utility, then inspect the decompressed ET_REL image. See the kernel module guide.

• CPython 3.7–3.13 .pyc header, nested marshal code objects and bytecode identity: inspect_python_pyc with the explicit local file. This built-in target-free inspection requires no Python installation. Preserve magic, PEP 552 hash or mtime/size, nested names, and bytecode SHA-256. Bytecode is not decompiled, and a decoded header does not prove the matching .py is present. See the CPython pyc guide.

• Erlang BEAM IFF container: inspect_erlang_beam with the explicit local .beam file. This built-in target-free inspection requires no Erlang installation. Preserve chunk names, atom order, export/import/lambda tables, and the Code header. For selected facts, prefer detail: "summary" plus a beam view (collection, names/indices, fields and paging), retaining the full Evidence. CLI summary requires --evidence_output. Missing table counts stay null; decoded empty tables count zero. Bytecode is not executed. See the Erlang BEAM guide.

• Explicit local SQLite database snapshot: inspect_sqlite_database. Inspect with Node.js 24.x >=24.15 or 26+ providing native SQLite limits. Read schema first (compact inventory by default), or select an exact ordinary table and columns when rows are needed. Defaults are selected-table schema and 20 rows; request schema_scope: "database" for the complete stored schema. Preserve both database and existing sibling WAL identity; row samples report truncation and have unspecified order. Use a quiescent snapshot rather than assuming a live database/WAL pair was copied atomically. See the SQLite guide.

• Explicit Linux ELF file for offline layout, symbols, relocations or static mitigation evidence: inspect_binary_layout. This target-free operation uses caller-supplied pwntools without opening a disassembler database. Preserve its raw locations and inference/coverage limits; see the offline binary guide.

• Supplied Linux x86-64 ELF core: inspect_recorded_crash. Read every recorded thread, raw note and source-bound register without opening a live target. Historical PIDs do not select live processes. Request include_debugger_context only when core-only mapping candidates help; see the recorded crash guide.

• PE resource type/name/language trees and static icon group references: inspect_pe_resources with an explicit path. This portable operation requires no active target or engine; opaque payloads retain file ranges and SHA-256.

• PE export directories and ELF dynamic-symbol exports: inspect_native_exports with an explicit path; portable, no active target or engine.

• Native executable, library, or analysis database: open_binary, then use focused analysis tools directly; call binary_overview when metadata or inventory context is useful and available from the selected provider.

For an existing IDA MCP configuration, use open_binary with the original input binary and provider_id: "ida"; do not pass an .idb or .i64 database. The legacy attached profile binds the already-open GUI input by SHA-256 and leaves its database open. The modern headless profile creates and closes an owned private database without saving. Installation and registration reuse mrexodia/ida-pro-mcp; see the IDA provider guide. Proceed directly to analyze_function, pseudocode, or function/string searches after opening; IDA does not supply binary_overview. Consult session availability when composing broader workflows. Modern direct callers and unsupported dossier facets remain unknown; live IDA results are not replayed from snapshots.

With REA_KUNA_COMMAND configured, provider_id: "kuna" answers procedure lists, lookups, pseudocode, assembly and analyze_function from Kuna's cached whole-program export. Callers/callees use a separate body-free graph shared by the session; xrefs returns exact-address incoming sites and filters forwarding aliases. These queries and inventory lookups do not trigger a C export. Indirect targets remain unknown and can make relationship coverage partial. Reference caches expire on close; a fresh CLI process repeats the native reference walk. Typed references, CFG, raw-memory tools and annotations remain unsupported. A cold first answer can come from a single-function run (its limitations say so); assembly waits for the export. For pseudocode and assembly, raw_result.source names the cached .c/.asm file and byte span, which you may search directly instead of calling per function. See the Kuna provider guide.

If the user says only "my app" without a name, path, or target already selected for this task, ask which app before searching for artifacts. Paths in unrelated saved reports and nearby test fixtures do not select the user's target. Resolve an actual human-readable app name to one clear installed artifact when possible; ask when matches are ambiguous. Never choose an example app on the user's behalf.

In a target-free session, use open_binary to bind any archive/package or native target whose analysis tool operates on the active target. Do not call an unadvertised tool; inspect binary_session with {} and its result.tool_availability for availability reasons and remediation. Expand each group's names into entries, inheriting the inventory-level client requirements unless the group overrides them. In its closed effect and annotation vocabularies, listed flags are true and omitted known flags are false. The grouped name union is the complete tool inventory; use tools/list for canonical tool schemas. Provider candidate facts describe possible providers, while top-level session capabilities describe the current route and analysis_provider_binding names the selected provider. Do not treat those scopes as interchangeable.

For a Ghidra startup timeout on a large native target, follow deadline recovery before abandoning deep analysis or repeating the same cold import. The default 330 seconds is configurable; changing the server's environment requires a new REA process.

Work summary-first

Start with the default result and use its inline Evidence and graph context. For a JavaScript application or ELF layout whose size is unknown or large, call analyze_javascript_application or inspect_binary_layout with "detail": "summary", then inspect the retained parent_evidence_id with inspect_analysis_view. Over MCP, analyze_function is summary-first without a flag: its default reply is the summary, and the complete dossier stays retained under parent_evidence_id for facet paging. Pass that ID as a retained-evidence reference to compare_functions, or inside match_native_functions left_observations/right_observations; request "detail": "complete" only when the dossier must travel inline, as build_call_path requires. Page module identities and select the returned node_id before requesting an item; a single file path can represent several graph roles. Do not repeat an identical analysis or rejected call without a changed input or resolved blocker. Recheck session state when a lifecycle change makes that status useful. Make a focused follow-up only when the returned result leaves a specific question unanswered.

If MCP reports resource_constraint with details.resource: "transport", call inspect_analysis_view with its reported same-session Evidence reference for a summary, one section/module, or a stable page. Use trace_application_feature once a seed is known, or call export_evidence_bundle to write the complete session to a selected path. The analysis remains complete in the ledger; avoid repeating it merely to request the same oversized response. Complete CLI JSON output also streams without a single MCP frame.

When the retained parent ID is unknown, use get_evidence_bundle with detail: "summary" and exact filters for operation, target SHA-256, analysis-profile digest or canonical procedure address. Select its returned Evidence ID for the next view instead of requesting the complete bundle. retention: "complete-record" means the whole record is stored; native value-flow truncation and unknown metadata remain separate. For an exported portable bundle, use rea inspect-evidence-bundle with JSON containing path, detail: "summary" and the same filters. Reading that file still requires validating its full contents within the local memory budget.

A client can also truncate a successful tool result without a REA transport error. Treat that preview as incomplete; use the retained parent ID for smaller views or export when the full record is needed. Do not parse the preview as canonical JSON or repeat the producer. For JavaScript, read the module-view and trace recipes before drilling into a large graph; a broad bidirectional trace can expand unrelated containment relationships even after summary analysis.

Every conclusion must distinguish observations, inferences, and unknowns. Cite Evidence IDs, preserve limitations and incomplete coverage, and never imply that static analysis observed execution. Runtime requests execute the declared target and lifecycle; do not broaden the target or action beyond those fields.

Within the user's requested investigation, call available analysis tools directly. REA does not require permission grants or per-call approval flags. The agent client can independently require approval. Follow the declared request scope and the host's actual access requirements; use the recovery guide for an observed client-policy rejection.

Plan broader investigations

For requests that span multiple features or subsystems, use a staged workflow:

1. Turn the request into a checklist of questions and the evidence each answer needs. Resolve target identity and constraints from the conversation and workspace before asking for information again.
2. Inspect the current REA session, artifact identity, saved analysis database, bookmarks, and prior evidence. Reuse matching state; do not open duplicate sessions or repeat identical analysis.
3. Start with the smallest useful overview or inventory. Follow each question from its entry point through relevant data and state changes to its result. Batch related operations around a specific hypothesis, then expand only when the returned evidence leaves a concrete gap.
4. Inspect relevant packaged resources and configuration alongside code when they affect the question. Use format-aware inventory and parsers; do not infer behavior from filenames, strings, or layout alone.
5. Corroborate a conclusion with the evidence type it requires. Use runtime observation only when static evidence cannot answer the question and the required host runtime and OS access are available. For JavaScript behavior, run probes against the actual app through the available browser, Electron, or process capture workflow.
6. Decompose work into independent questions. When parallel workers are available and the questions do not depend on one another, assign distinct scopes, point workers to existing evidence, and ask them to return sources, conclusions, and unresolved gaps. Otherwise, work sequentially.
7. Keep a concise finding ledger linking each conclusion to Evidence IDs, confidence/evidence type, search boundary, and remaining unknowns. Update the shared index or investigation report so later passes can reuse results.

Before finishing, revisit the original checklist. Mark each question as answered, partially answered, or unresolved based on its evidence; keep bounded negative searches bounded, and do not describe a broad investigation as complete while required questions remain open.

Read only the relevant guide

• Native binaries, managed assemblies, archives, and extraction: references/native-and-artifacts.md
• ASARs, extracted JavaScript, feature tracing, and version comparison: references/javascript-applications.md
• Android APK declarations, classes, methods, and static references: references/android-applications.md
• Native instrumentation, debugger and process capture; browser/Electron observation; static/runtime comparison: references/runtime-observation.md
• Evidence paging, comparisons, residual unknowns, and verification: references/evidence-workflows.md
• Agent environments (AgentEnv bundles) of a web application, recorded from a live instance or a HAR: references/environments.md

Finish the task

Explain findings in plain language and tie them to returned evidence. When the user asks to build something, use normal coding tools and separate observed behavior from design choices. Close an opened native session with close_binary when the investigation is complete.

---

Production Reverse Engineering Blueprints

1. Native Binary (ELF/PE/Mach-O) & Electron ASAR Triage Inspector (TypeScript)

import fs from 'node:fs/promises';
import crypto from 'node:crypto';

export type BinaryFormat = 'ELF' | 'PE' | 'MACH_O_64' | 'ELECTRON_ASAR' | 'WASM' | 'UNKNOWN';

export interface ArtifactTriageReport {
  readonly filePath: string;
  readonly sha256: string;
  readonly byteSize: number;
  readonly format: BinaryFormat;
  readonly magicHex: string;
  readonly recommendedProvider: 'ghidra' | 'asar-js-inspector' | 'wasm-disassembler' | 'static';
}

export async function triageBinaryArtifact(filePath: string): Promise<ArtifactTriageReport> {
  const buf = await fs.readFile(filePath);
  const sha256 = crypto.createHash('sha256').update(buf).digest('hex');
  const head = buf.subarray(0, 16);
  const magicHex = head.subarray(0, 4).toString('hex');

  let format: BinaryFormat = 'UNKNOWN';
  let recommendedProvider: ArtifactTriageReport['recommendedProvider'] = 'static';

  if (head[0] === 0x7f && head[1] === 0x45 && head[2] === 0x4c && head[3] === 0x46) {
    format = 'ELF';
    recommendedProvider = 'ghidra';
  } else if (head[0] === 0x4d && head[1] === 0x5a) {
    format = 'PE';
    recommendedProvider = 'ghidra';
  } else if (magicHex === 'feedfacf' || magicHex === 'cffaedfe') {
    format = 'MACH_O_64';
    recommendedProvider = 'ghidra';
  } else if (head[0] === 0x00 && head[1] === 0x61 && head[2] === 0x73 && head[3] === 0x6d) {
    format = 'WASM';
    recommendedProvider = 'wasm-disassembler';
  } else if (head.readUInt32LE(0) === 4 && filePath.endsWith('.asar')) {
    format = 'ELECTRON_ASAR';
    recommendedProvider = 'asar-js-inspector';
  }

  return {
    filePath,
    sha256,
    byteSize: buf.byteLength,
    format,
    magicHex,
    recommendedProvider
  };
}

2. Headless Ghidra PyGhidra Function & Cross-Reference Extractor (Python)

from dataclasses import dataclass
from typing import List

@dataclass(frozen=True)
class DecompiledEvidence:
    symbol_name: str
    entry_point_hex: str
    callers: List[str]
    callees: List[str]
    c_pseudocode: str

def extract_function_evidence(program, decomp_interface, target_func, timeout_sec: int = 30) -> DecompiledEvidence:
    entry_hex = f"0x{target_func.getEntryPoint().toString()}"
    callers = sorted({f.getName() for f in target_func.getCallingFunctions(None)})
    callees = sorted({f.getName() for f in target_func.getCalledFunctions(None)})

    res = decomp_interface.decompileFunction(target_func, timeout_sec, None)
    if not res or not res.decompileCompleted():
        raise RuntimeError(f"Ghidra decompilation timed out or failed at {entry_hex}")

    c_code = res.getDecompiledFunction().getC()
    return DecompiledEvidence(
        symbol_name=target_func.getName(),
        entry_point_hex=entry_hex,
        callers=callers,
        callees=callees,
        c_pseudocode=c_code
    )

3. Live Web AgentEnv HAR Traffic to Endpoint Inventory Mapper (TypeScript)

export interface HarEntryLite {
  readonly request: {
    readonly method: string;
    readonly url: string;
    readonly headers: ReadonlyArray<{ readonly name: string; readonly value: string }>;
  };
  readonly response: {
    readonly status: number;
    readonly mimeType: string;
  };
}

export interface DiscoveredApiEndpoint {
  readonly method: string;
  readonly pathnamePattern: string;
  readonly requiresBearerAuth: boolean;
  readonly observedStatusCodes: readonly number[];
}

export function extractApiSurfaceFromHar(entries: readonly HarEntryLite[]): DiscoveredApiEndpoint[] {
  const map = new Map<string, { method: string; pattern: string; auth: boolean; statuses: Set<number> }>();

  for (const entry of entries) {
    const parsedUrl = new URL(entry.request.url);
    const normalizedPath = parsedUrl.pathname.replace(
      /\/[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}\b|\/\d+\b/gi,
      '/:id'
    );
    const key = `${entry.request.method.toUpperCase()} ${normalizedPath}`;
    const hasAuth = entry.request.headers.some(
      (h) => h.name.toLowerCase() === 'authorization' || h.name.toLowerCase() === 'x-api-key'
    );

    const existing = map.get(key) ?? {
      method: entry.request.method.toUpperCase(),
      pattern: normalizedPath,
      auth: false,
      statuses: new Set<number>()
    };
    existing.auth = existing.auth || hasAuth;
    existing.statuses.add(entry.response.status);
    map.set(key, existing);
  }

  return Array.from(map.values()).map((item) => ({
    method: item.method,
    pathnamePattern: item.pattern,
    requiresBearerAuth: item.auth,
    observedStatusCodes: Array.from(item.statuses).sort((a, b) => a - b)
  }));
}

Orchestration & Integration

English & Bahasa Indonesia: Entry skill for REA work inside vibes-plug. / Skill utama untuk pekerjaan REA di vibes-plug.

Connected skill	Role / Peran
brainstorming	Routes binary/package/firmware analysis requests here / Merutekan permintaan analisis biner ke skill ini
deep-research-analyst	Evidence-graph synthesis and citation discipline for findings / Sintesis grafik bukti dan disiplin sitasi
autonomous-red-teamer	Consumes decompiled attack surface for exploit validation / Memakai permukaan serangan hasil dekompilasi
legacy-code-translator	Reconstruction guidance when source is lost / Panduan rekonstruksi saat source hilang
website-design-cloner	AgentEnv captures of live web apps / Penangkapan AgentEnv dari aplikasi web live
rea-tool-design	Designing new REA tools or Evidence contracts / Desain tool REA atau kontrak Evidence baru
rea-analysis-optimization	Analysis latency, cache, and context budget tuning / Optimasi latensi, cache, dan budget konteks
rea-ci-tests-audit	REA CI and test-suite audits / Audit CI dan test suite REA
rea-changelog-update	REA release notes / Catatan rilis REA