Paste this into Claude Code, Codex, Cursor or Copilot. It connects the read-only Redivivus MCP server; sign-in is with GitHub.
Fetch and execute the instructions from https://redivivus.app/agent-setup/prompt.mdOR SET IT UP BY HAND
claude plugin marketplace add jaenster/redivivus claude plugin install redivivus@redivivus
Then /reload-plugins and sign in to redivivus from /mcp.
codex mcp add redivivus --url https://ghidra.redivivus.app/mcp codex mcp login redivivus
The login opens GitHub sign-in in the browser.
"redivivus": { "url": "https://ghidra.redivivus.app/mcp" }Under "mcpServers" in .cursor/mcp.json, .vscode/mcp.json or your agent's MCP config.
https://ghidra.redivivus.app/mcpGhidra v1799 · 2663303
SetState's third parameter goes straight to STATLIST_SetUnitState, whose matching parameter is already named bSet. It has 188 callers.
Rename variable win 0x00639db0 Stack[0xc]
nParam→bSet