Add the mathly deploy script

scripts/deploy_mathly.sh

@@ -0,0 +1,27 @@
+#!/usr/bin/env bash
+# Deploys the current commit to the mathly Space (the math app) under its own name.
+# A Space takes its name and emoji from the front matter of README.md, which ihki and mathly share; this pushes a
+# copy of HEAD whose front matter says mathly, so the local README and the Arabic Space (origin) stay as they are.
+# Usage: scripts/deploy_mathly.sh   (commit first; the remote `mathly` is https://huggingface.co/spaces/wzender/mathly)
+set -euo pipefail
+cd "$(git rev-parse --show-toplevel)"
+if [ -n "$(git status --porcelain)" ]; then
+  echo "There are uncommitted changes. Commit them first: only committed work is deployed." >&2
+  exit 1
+fi
+tmp=$(mktemp -d)
+trap 'git worktree remove --force "$tmp" >/dev/null 2>&1 || true; rm -rf "$tmp"' EXIT
+git worktree add --detach "$tmp" HEAD >/dev/null
+python3 - "$tmp/README.md" <<'PY'
+import re, sys
+path = sys.argv[1]
+text = open(path, encoding="utf-8").read()
+head, sep, rest = text.partition("\n---\n")   # the front matter: between the first two --- lines
+own = {"title": "mathly", "emoji": "➗", "colorFrom": "blue", "colorTo": "gray"}
+for key, value in own.items():
+    head = re.sub(rf"^{key}:.*$", f"{key}: {value}", head, flags=re.M)
+open(path, "w", encoding="utf-8").write(head + sep + rest)
+PY
+git -C "$tmp" commit -qam "mathly: the Space's own name"
+git -C "$tmp" push --force mathly HEAD:main
+echo "Pushed $(git rev-parse --short HEAD) to mathly. The build: https://huggingface.co/spaces/wzender/mathly?logs=build"