get_server_docs

get_server_docs

Server DevLens MCP y4nn777/devlens-mcp
Category Read
Risk class Low
Parameters 00 required

What get_server_docs does on DevLens MCP

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

Why get_server_docs needs a policy

This tool retrieves documentation—a read-only operation with no side effects. No data is created, modified, deleted, or executed. The blast radius if misused is minimal; worst case, an AI agent would fetch irrelevant or sensitive docs, but cannot alter systems. Low severity applies.

From the tool's definition Tool name 'get_server_docs' indicates retrieval of documentation. The description is empty, but the name clearly suggests a read operation that fetches server documentation without modification or execution.

Questions about get_server_docs

What does the get_server_docs tool do? +

get_server_docs. It is categorised as a Read tool in the DevLens MCP MCP Server, which means it retrieves data without modifying state.

How do I enforce a policy on get_server_docs? +

Register the DevLens MCP server in PolicyLayer and add a rule for get_server_docs: 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 DevLens MCP. Nothing to install.

What risk level is get_server_docs? +

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

Can I rate-limit get_server_docs? +

Yes. Add a rate_limit block to the get_server_docs 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 get_server_docs completely? +

Set action: deny in the PolicyLayer policy for get_server_docs. 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 get_server_docs? +

get_server_docs is provided by the DevLens MCP server (y4nn777/devlens-mcp). PolicyLayer sits as a proxy in front of this server to enforce policies before tool calls reach the server.

// LOOK UP ANOTHER SERVER

Every MCP server has a record like this.

Type a name, get the same breakdown: verified identity, auth posture, risk grade, capabilities, recommended policy.

Teams ship this data inside their own products. See what a licence covers →

// GET IN TOUCH

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

Message sent.

We'll get back to you soon.