pipe-cd/docs-mcp-server
If you are the rightful owner of docs-mcp-server and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
A local MCP server for searching official PipeCD docs.
The PipeCD Docs MCP Server is a local server designed to facilitate the search and retrieval of official PipeCD documentation. It clones the PipeCD documentation from GitHub into a temporary directory and indexes the Markdown files by extracting their titles and content. This server provides simple full-text search and document retrieval APIs via the MCP protocol, making it easier for users to find and access the information they need from the PipeCD documentation. The server is particularly useful for developers and users who need quick access to documentation without navigating through the entire GitHub repository. By using sparse-checkout, the server minimizes clone size and speeds up the process, ensuring efficient performance.
Features
- Clones official PipeCD docs from GitHub for local access.
- Provides full-text search and document retrieval APIs via MCP protocol.
- Indexes Markdown files by extracting titles and content.
- Uses sparse-checkout to minimize clone size and speed up the process.
- Simple search logic for quick and efficient document retrieval.
Usages
usage with cursor
{
"mcpServers": {
"pipe-cd.docs-mcp-server": {
"type": "stdio",
"command": "npx",
"args": [
"@pipe-cd/docs-mcp-server@latest"
]
}
}
}Tools
search_docs
Executes a full-text search on PipeCD docs.
read_docs
Returns the content of the specified page.