rename (cosmetic): green-eye -> risc-v-gsp-rm-debugger in user-facing names, docs, CLI, launcher and CI workflow; internal greeneye package/module identifiers unchanged (includes in-flight greeneye module edits present in the tree)

1 files changed, 10 insertions, 10 deletions

diff --git a/debug/risc-v-gsp-rm-vm/plugins/mcp_server.py b/debug/risc-v-gsp-rm-vm/plugins/mcp_server.py
index b5e8f90..0059da2 100644
--- a/debug/risc-v-gsp-rm-vm/plugins/mcp_server.py
+++ b/debug/risc-v-gsp-rm-vm/plugins/mcp_server.py
@@ -1,12 +1,12 @@
-"""green-eye MCP server plugin (roadmap R3).
+"""risc-v-gsp-rm-debugger MCP server plugin (roadmap R3).
 
 A stdlib-only Model Context Protocol server (JSON-RPC 2.0) that exposes the
-*active* green-eye session as MCP tools.  Two ways to run it:
+*active* risc-v-gsp-rm-debugger session as MCP tools.  Two ways to run it:
 
 * **plugin mode** - load it into a live session and serve that session::
 
-      ./greeneye.sh attach --plugin plugins/mcp_server.py
-      greeneye> mcp-serve [--allow-write] [--allow-inject]
+      ./risc-v-gsp-rm-debugger.sh attach --plugin plugins/mcp_server.py
+      risc-v-gsp-rm-debugger> mcp-serve [--allow-write] [--allow-inject]
 
 * **standalone mode** - launch its own session and serve it::
 
@@ -252,7 +252,7 @@ TOOLS: list[dict] = [
             "instructions": _integer("step budget (0 = wall-clock duration)", 2000, 0),
             "duration": _number("wall-clock seconds when instructions=0", 1.0),
             "no_relocate": _boolean("do not relocate to 0x80000000", False),
-            "symbols": _string("green-eye symbol DB JSON"),
+            "symbols": _string("risc-v-gsp-rm-debugger symbol DB JSON"),
             "timeout": _number("subprocess timeout seconds", 300.0),
         },
     ),
@@ -278,7 +278,7 @@ TOOLS: list[dict] = [
             "out": _string("output directory (default: dumps/mcp-matrix)"),
             "probe_instructions": _integer("probe step budget", 2000, 0),
             "scenario_duration": _number("per-phase wall budget", 0.4),
-            "symbols": _string("green-eye symbol DB JSON"),
+            "symbols": _string("risc-v-gsp-rm-debugger symbol DB JSON"),
             "max_rows": _integer("report row cap", 40, 1, 1000),
         },
         ("targets",),
@@ -438,7 +438,7 @@ class GreenEyeMCPServer:
             "capabilities": {"tools": {"listChanged": False}},
             "serverInfo": {"name": SERVER_NAME, "version": _version()},
             "instructions": (
-                "green-eye session server. Read/observe tools are always on; writes need "
+                "risc-v-gsp-rm-debugger session server. Read/observe tools are always on; writes need "
                 "--allow-write and injection needs --allow-inject. Never claim timing, cycles "
                 "or hardware behaviour; sessions are the evidence."
             ),
@@ -1021,7 +1021,7 @@ def _version() -> str:
 def build_serve_parser(prog: str = "mcp-serve") -> argparse.ArgumentParser:
     parser = argparse.ArgumentParser(
         prog=prog,
-        description="serve the active green-eye session over MCP (JSON-RPC over stdio or loopback TCP)",
+        description="serve the active risc-v-gsp-rm-debugger session over MCP (JSON-RPC over stdio or loopback TCP)",
     )
     parser.add_argument("--stdio", action="store_true", help="serve over stdin/stdout (default)")
     parser.add_argument("--tcp", metavar="HOST:PORT", type=parse_tcp, help="serve over loopback TCP instead")
@@ -1031,7 +1031,7 @@ def build_serve_parser(prog: str = "mcp-serve") -> argparse.ArgumentParser:
 
 
 def register(ge) -> None:
-    """green-eye plugin hook: add the ``mcp-serve`` command."""
+    """risc-v-gsp-rm-debugger plugin hook: add the ``mcp-serve`` command."""
 
     def mcp_serve(session, argv: list[str]) -> int:
         parser = build_serve_parser()
@@ -1090,7 +1090,7 @@ def parse_tcp(text: str) -> tuple[str, int]:
 
 
 def build_parser() -> argparse.ArgumentParser:
-    parser = argparse.ArgumentParser(prog="mcp_server", description="green-eye MCP server (roadmap R3)")
+    parser = argparse.ArgumentParser(prog="mcp_server", description="risc-v-gsp-rm-debugger MCP server (roadmap R3)")
     transport = parser.add_mutually_exclusive_group()
     transport.add_argument("--stdio", action="store_true", help="serve over stdin/stdout (default)")
     transport.add_argument("--tcp", metavar="HOST:PORT", type=parse_tcp, help="serve over loopback TCP instead")