version

Optional version identification for the server. If this changes, the editor will indicate that tools have changed and prompt to refresh them.

Online Documentation