Resolve the definition of a symbol at a specific position (Requires LSP).
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.
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:
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:
{
"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.
Free to start. No card required.
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.
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.
goto_definition is a Read tool with low risk. Read-only tools are generally safe to allow by default.
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.
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.
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.
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.