Important rules

AGENTS.md

This file provides guidance and important rules working with code in this repository.

Important rules

When coding / building plan

• ALWAYS call Serena's activate_project on agent startup

When running SKILLS: find-*

• NEVER stop half-way even the step indicates a success, until you finish ALL tasks.

• No need to call Serena's activate_project on agent startup

IDA Pro MCP Tools Reference

ida-pro-mcp.rename Usage

rename is a unified renaming tool that supports renaming functions, global variables, local variables, and stack variables.

Parameter Structure

{
  "batch": {
    "func": [...],      // Function renaming
    "data": [...],      // Global/data variable renaming
    "local": [...],     // Local variable renaming
    "stack": [...]      // Stack variable renaming
  }
}

1. Function renaming (func)

{
  "batch": {
    "func": {
      "addr": "0x12345678",   // Function address (hex or decimal)
      "name": "NewFuncName"   // New function name
    }
  }
}

2. Global / Data variable renaming (data)

{
  "batch": {
    "data": {
      "old": "old_global_name",  // Current variable name
      "new": "new_global_name"   // New variable name
    }
  }
}

3. Local variable renaming (local)

{
  "batch": {
    "local": {
      "func_addr": "0x12345678",  // Function address containing the local variable
      "old": "v1",                 // Current variable name
      "new": "playerIndex"         // New variable name
    }
  }
}

4. Stack variable renaming (stack)

{
  "batch": {
    "stack": {
      "func_addr": "0x12345678",  // Function address containing the stack variable
      "old": "var_20",             // Current variable name
      "new": "bufferSize"          // New variable name
    }
  }
}

Batch Operation Example

Multiple rename operations can be performed simultaneously:

{
  "batch": {
    "func": [
      {"addr": "0x1000", "name": "InitPlayer"},
      {"addr": "0x2000", "name": "UpdateHealth"}
    ],
    "local": [
      {"func_addr": "0x1000", "old": "a1", "new": "pPlayer"},
      {"func_addr": "0x1000", "old": "v5", "new": "healthValue"}
    ]
  }
}

ida-pro-mcp.get_bytes Usage

get_bytes reads bytes from memory addresses in the binary.

Parameter Structure

{
  "regions": {
    "addr": "0x12345678",  // Address to read from (hex or decimal)
    "size": 16             // Number of bytes to read
  }
}

Single Region Example

Read 16 bytes from a single address:

{
  "regions": {
    "addr": "0x140001000",
    "size": 16
  }
}

Multiple Regions Example

Read bytes from multiple addresses simultaneously:

{
  "regions": [
    {"addr": "0x140001000", "size": 16},
    {"addr": "0x140002000", "size": 32},
    {"addr": "0x140003000", "size": 8}
  ]
}