#!/bin/sh
exec npx lean-language-server "$@"