Read Git status for one project under the configured workspace root.

Run one allowlisted npm verification script in a project. Arbitrary commands are not accepted.

Run an allowlisted Bakugan verification stage without accepting arbitrary commands.

Regenerate Milestone 6E contracts using the repository-owned generator.

Run the transactional Milestone 6E installer in dry-run mode against an allowed workspace.

Generate the Milestone 6E roster report into the repository's allowed generated-analysis directory.

Verify one file under the dedicated workspace against an expected SHA-256 digest.

Report the single DeSmuME process owned by this RE-MCP server instance.

Start the verified DeSmuME debug launcher with one local ROM and ARM9 GDB port.

Probe the owned localhost ARM9 GDB port.

Wait a bounded interval for the owned ARM9 GDB port.

Read the raw ARM9 GDB register packet.

Read at most 4096 bytes from ARM9 memory through GDB RSP.

Install one bounded ARM9 software breakpoint inside an allowlisted executable range.

Remove one breakpoint previously installed by this debugger session.

List session-scoped breakpoints and their hit counts.

Continue ARM9 execution for a bounded interval and return the first observed stop or timeout.

Single-step from 1 through 100 ARM9 instructions with a bounded wait per step.

Interrupt a running ARM9 target and wait a bounded interval for its stop reply.

Wait for a currently running ARM9 target to stop without issuing a new continue command.

Capture decoded ARM9 registers and bounded memory around the current stopped PC and SP.

Replace the session-scoped additional ARM9 executable-range allowlist.

Stop only the owned DeSmuME process.

Parse a Nintendo DS ROM into the canonical static structure summary without modifying it.

List bounded NitroFS/FAT file mappings from the canonical NDS model.

List bounded ARM9/ARM7 overlay metadata without claiming runtime loaded state.

Resolve one ARM9/ARM7 runtime address against main code and static overlay candidates without guessing overlap state.

Classify one ROM offset across NDS structural, file, main-binary, and overlay relationships.

Extract one validated ARM9, ARM7, overlay, or NitroFS component to the server-controlled generated-analysis tree.

Generate the deterministic NDS static-analysis bundle without dumping every NitroFS asset.

Decode a bounded ARM/Thumb instruction window from one uniquely mapped Nintendo DS code source.

Build a bounded direct-control-flow graph from one uniquely mapped Nintendo DS ARM/Thumb entry point without traversing calls.

List bounded deterministic proven references from one uniquely mapped Nintendo DS ARM/Thumb code window.

Find bounded deterministic proven xrefs in caller-selected Nintendo DS static scope using explicit/proven seeds without inferring loaded overlay state.

Search one bounded exact/wildcard byte signature, typed integer, ASCII string, or UTF-16LE string in a validated Nintendo DS ROM without mutation or heuristic inference.

Discover a bounded call graph of Nintendo DS ARM/Thumb function entries proven only by program-entry or deterministic resolved direct-call evidence.

Prove one Nintendo DS ARM/Thumb function entry from program-entry or deterministic direct-call evidence, distinguish complete negative from inconclusive proof, and analyze its bounded CFG only when proven.

Validate a strict workspace-contained NDS mutation manifest against the exact source ROM without modifying or publishing anything.

Build a verified same-size NDS mutation from a strict workspace manifest using only a controlled staged source copy.

Freshly revalidate the exact deterministic NDS mutation build derived from a strict workspace manifest.

Create or safely reconcile one full-SHA-scoped Ghidra project for a canonical Nintendo DS ROM using only the configured analyzeHeadless installation and RE-MCP-owned scripts.

Read the deterministic SHA-scoped Ghidra bridge/project state for a canonical Nintendo DS ROM without invoking Ghidra or mutating files.

Read Ghidra-derived function metadata at one canonical NDS runtime address from an already-current SHA-scoped project. Runs read-only with auto-analysis disabled.

Return bounded Ghidra-derived C-like decompiler output for one canonical NDS function from an already-current project. Runs read-only with auto-analysis disabled.

Search Ghidra/analyst symbols in one canonical ARM9 or ARM7 program using bounded exact, prefix, or contains matching. No regex or arbitrary query language is accepted.

List bounded Ghidra-derived references to/from one canonical NDS address in an already-current project. Ghidra references remain non-authoritative to RE-MCP.

List bounded depth-one Ghidra-derived callers/callees for one canonical NDS function in an already-current project. No recursive graph traversal is exposed.

Correlate the current stopped server-owned DeSmuME ARM9 state with the exact launched NDS ROM and bounded canonical static evidence, optionally enriching from an already-current read-only Ghidra project, without resuming execution.

Atomically save raw ARM9 registers and bounded memory regions without interpreting them.

Read the integrity-checked provider-neutral controller handoff state for the current exact NDS ROM SHA. Checkpoint prose is controller state, not authoritative ROM evidence.

Atomically write bounded provider-neutral controller handoff state for the current exact NDS ROM SHA using optimistic revision protection. The output path is RE-MCP-owned.

Describe the current RE-MCP safety boundary and available operations.