Skip to main content
Glama

DocNav-MCP

by shenyimings

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault

No arguments

Schema

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription

No resources

Tools

Functions exposed to the LLM to take actions

NameDescription
load_document

Load a document for navigation and analysis.

Args: file_path: Path to the document file Returns: Success message with auto-generated document ID
get_outline

Get document outline/table of contents.

Tips: First use this tool to understand document structure after you load a document. Args: doc_id: Document identifier max_depth: Maximum heading depth to include, defaults to 3 Returns: Formatted document outline
read_section

Read content of a specific document section.

Args: doc_id: Document identifier section_id: Section ID from outline (e.g., 'h1_0', 'h2_1') Returns: Section content with subsections
search_document

Search for specific content within a document.

Args: doc_id: Document identifier query: Search term or phrase Returns: Formatted search results with context
navigate_section

Get navigation context for a section (parent, siblings, children).

Args: doc_id: Document identifier section_id: Section ID to navigate to Returns: Navigation context with related sections
list_documents

List all currently loaded documents.

Returns: List of loaded documents with their metadata
get_document_stats

Get statistics about a loaded document.

Args: doc_id: Document identifier Returns: Document statistics and structure info
remove_document

Remove a document from the navigator.

Args: doc_id: Document identifier (UUID) Returns: Success or error message

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/shenyimings/DocNav-MCP'

If you have feedback or need assistance with the MCP directory API, please join our Discord server