diff --git a/bin/latest-lean4-nightly b/bin/latest-lean4-nightly
new file mode 100755
index 0000000..0718e97
--- /dev/null
+++ b/bin/latest-lean4-nightly
@@ -0,0 +1,3 @@
+#!/bin/sh
+set -euo pipefail
+echo leanprover/lean4:`hub api /repos/leanprover/lean4-nightly/releases | jq -r '.[0].tag_name'`
diff --git a/bin/lean-language-server b/bin/lean-language-server
new file mode 100755
index 0000000..787407f
--- /dev/null
+++ b/bin/lean-language-server
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec npx lean-language-server "$@"
diff --git a/bin/nightly-lake b/bin/nightly-lake
new file mode 100755
index 0000000..c528763
--- /dev/null
+++ b/bin/nightly-lake
@@ -0,0 +1,3 @@
+#!/bin/sh
+set -euo pipefail
+exec lake +`latest-lean4-nightly` "$@"