I test the python-lsp-server with the following python code snippet:

import numpy as np
from numpy import pi, sin

a = np.array([1], dtype=bool)
if np.invert(a) == ~a:
    print('ok')

I put the point at the following position of the above code snippet (denoted by |):

if np.in|vert(a) == ~a:

Then I do the following testings:

M-x lsp-goto-type-definition failed with the following message:

if: The connected server(s) does not support method textDocument/typeDefinition.
To find out what capabilities support your server use ‘M-x lsp-describe-session’
and expand the capabilities section

M-x lsp-goto-implementation failed with the following message:

if: The connected server(s) does not support method textDocument/implementation.
To find out what capabilities support your server use ‘M-x lsp-describe-session’
and expand the capabilities section

I would like to see information similar to that provided by pycharm, as shown below:

Any hints for this problem?

Regards,
HZ