PETSc documentation MCP server

http://mcp.petsc-ai.org:8081/mcp or https://mcp.petsc-ai.org:8444/mcp

Provides a MCP agent that serves the PETSc documentation

Purpose

The purpose of this MCP agent is to enable the implementation of “higher-level” PETSc MCP agents that correctly access the latest PETSc documentation without wasteful, fragile web searches or slow grep -r. See also the git_grep_petsc_repository tool provided by PETSc compile-run MCP server.

Usage

The MCP agent may be tested from the command line using

python petsc_documentation_mcp_client.py [--stdio] [--url PETSC_MCP_SERVERS_URL] --get_petsc_manual_pages string

or

python petsc_documentation_mcp_client.py [--stdio] [--url PETSC_MCP_SERVERS_URL] --get_petsc_users_manual_section section

The client Python file also contains a PetscDocumentationMCPClient() class that connects to the server and has a (mirror) method for each tool provided by the server.

To start the MCP server locally

PETSC_DIR=xxx PETSC_ARCH=yyy python petsc_documentation_mcp_server.py [--stdio]