`get_page`

Fetch one documentation page as Markdown, given its project, section, and page slugs. Returns the page as a "# {title}" heading, a blank line, then the body; if no page matches those coordinates, returns the text "Page not found: {project}/{section}/{page}". Use search_docs when you don't know a page's coordinates; use list_projects to discover project IDs.

Input Schema

json

{
  "type": "object",
  "properties": {
    "project": {
      "type": "string",
      "description": "Project ID, e.g. \"kli\" or \"nix-effects\". One of the IDs returned by list_projects, or the project field of a search_docs hit."
    },
    "section": {
      "type": "string",
      "description": "Section slug, e.g. \"diag-hints\". The section field of a search_docs hit."
    },
    "page": {
      "type": "string",
      "description": "Page slug, e.g. \"pidom-not-a-type\". The page field of a search_docs hit."
    }
  },
  "required": [
    "project",
    "section",
    "page"
  ]
}

Example

json

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_page",
    "arguments": {
      "project": "nix-effects",
      "section": "diag-hints",
      "page": "pidom-not-a-type"
    }
  }
}

Applicable Error Codes

Code	Name	When
`-32001`	`tool-not-found`	The named MCP tool is not registered in the active server registry.
`-32002`	`tool-execution-error`	A tool was invoked successfully but its body raised an error.
`-32003`	`resource-not-found`	The requested MCP resource URI is not registered.
`-32004`	`prompt-not-found`	The named MCP prompt is not registered.
`-32005`	`tool-example-invalid`	A tool's bundled :example payload failed validation against its auto-generated :schema.
`-32600`	`invalid-request`	JSON-RPC 2.0 invalid-request: the JSON is well-formed but does not conform to the JSON-RPC envelope.
`-32601`	`method-not-found`	JSON-RPC 2.0 method-not-found: the requested method is not registered on the server.
`-32602`	`invalid-params`	JSON-RPC 2.0 invalid-params: the request 'params' value is missing required fields or carries unexpected ones.
`-32700`	`jsonrpc-parse-error`	JSON-RPC 2.0 parse-error: the server could not decode the incoming message as JSON.

Back to MCP Server