From 1c99bfbeffff04529f6f669601fdf835a73778da Mon Sep 17 00:00:00 2001 From: Arthur Hanson Rasmusson Date: Fri, 2 Oct 2026 11:44:31 -0400 Subject: 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) --- debug/risc-v-gsp-rm-vm/plugins/mcp_server.py | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'debug/risc-v-gsp-rm-vm/plugins/mcp_server.py') 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") -- cgit v1.2.3