petsc_mcp_servers