Low Risk

goto_definition

Resolve the definition of a symbol at a specific position (Requires LSP).

How to control goto_definition ↓

What goto_definition does on Android Source Explorer MCP Server

AI agents call goto_definition to retrieve information from Android Source Explorer MCP Server without modifying anything — typically the context-gathering step in research, monitoring, and reporting workflows, before the agent takes action elsewhere.

Low Risk

Why goto_definition needs a policy

This is a code navigation and inspection tool that retrieves symbol definitions from the Android source codebase. It performs a query operation using LSP (Language Server Protocol) to locate and return definition information, with no side effects, data modification, code execution, or destructive capabilities. The tool is purely informational, fitting the 'Read' category.

From the tool's definition Tool name 'goto_definition' and description 'Resolve the definition of a symbol at a specific position' indicate a read-only operation that retrieves source code definition information without modifying any data.

Documented attack patterns abuse exactly the kind of access goto_definition gives an agent:

How to control goto_definition

PolicyLayer is an MCP gateway — it sits between your AI agents and Android Source Explorer MCP Server, and nothing reaches the server without passing your rules. This is the rule we recommend for goto_definition:

policy.json
{
  "version": "1",
  "default": "deny",
  "tools": {
    "goto_definition": {}
  }
}

goto_definition is read-only, so it stays allowed — but everything else on the server is denied unless you say otherwise.

  1. Create a free account and register Android Source Explorer MCP Server — nothing to install.
  2. Add this policy — paste it, or build it visually.
  3. Point your MCP client (Claude, Cursor, anything) at your gateway URL.
CAP THIS TOOL →

Free to start. No card required.

Related tools and policies

Go deeper

Questions about goto_definition

What does the goto_definition tool do? +

Resolve the definition of a symbol at a specific position (Requires LSP). It is categorised as a Read tool in the Android Source Explorer MCP Server MCP Server, which means it retrieves data without modifying state.

How do I enforce a policy on goto_definition? +

Register the Android Source Explorer MCP Server MCP server in PolicyLayer and add a rule for goto_definition: allow, deny, rate-limit, or require approval. Point your MCP client at the PolicyLayer proxy URL and the rule is enforced on every call, before it reaches Android Source Explorer MCP Server. Nothing to install.

What risk level is goto_definition? +

goto_definition is a Read tool with low risk. Read-only tools are generally safe to allow by default.

Can I rate-limit goto_definition? +

Yes. Add a rate_limit block to the goto_definition rule in your PolicyLayer policy. For example, setting max: 10 and window: 60 limits the tool to 10 calls per minute. Rate limits are tracked per agent session and reset automatically.

How do I block goto_definition completely? +

Set action: deny in the PolicyLayer policy for goto_definition. The AI agent will receive a policy violation error and cannot call the tool. You can also include a reason field to explain why the tool is blocked.

What MCP server provides goto_definition? +

goto_definition is provided by the Android Source Explorer MCP Server MCP server (mrmike/android-source-explorer-mcp). PolicyLayer sits as a proxy in front of this server to enforce policies before tool calls reach the server.

Enforce policy on every Android Source Explorer MCP Server tool call.

Start from Android Source Explorer MCP Server, add the rest of your stack, and see everything your agents can call. Then put policy on all of it.

Free to start. No card required.

11 Android Source Explorer MCP Server tools catalogued and risk-classified — across an index of 43,000+ MCP servers.

// GET IN TOUCH

Have a question or want to learn more? Send us a message.

Message sent.

We'll get back to you soon.