{"jsonrpc":"2.0","id":4,"result":{"tools":[{"name":"lint","description":""}]}}