The SDK server for opts. It reads opts.tools on every request, so replacing it (then calling server.sendToolListChanged() on a connected server) updates the tools without a restart.
opts
opts.tools
server.sendToolListChanged()
The SDK server for
opts. It readsopts.toolson every request, so replacing it (then callingserver.sendToolListChanged()on a connected server) updates the tools without a restart.