Install the Model Context Protocol (MCP)

The Prove Model Context Protocol (MCP) server exposes two tools:

search_prove: Searches indexed documentation. Optional parameters such as version and language narrow results.
get_page_prove: Returns the full content for a documentation page path via the required page argument—typically a path from search results when snippets are not enough.

If you use AI-powered code editors like Cursor or Windsurf, or general-purpose tools like Claude Desktop, you can use the MCP server.

Remote server

Prove hosts an HTTP MCP server that’s available at https://developer.prove.com/mcp.

Add the following to your ~/.cursor/mcp.json file. To learn more, see the Cursor documentation.

mcp.json

{
    "mcpServers": {
        "prove": {
            "url": "https://developer.prove.com/mcp"
        }
    }
}

Add the following to your .vscode/mcp.json file. To learn more, see the VS Code documentation.

mcp.json

{
    "servers": {
        "prove": {
            "type": "http",
            "url": "https://developer.prove.com/mcp"
        }
    }
}

To add MCP to Claude code, run the following command:

Command Line

claude mcp add --transport http prove https://developer.prove.com/mcp