chore: stage one-time my-pi listing update

.github/workflows/add-my-pi-once.yml

@@ -0,0 +1,50 @@
+name: One-time add my-pi listing
+
+on:
+  push:
+    branches:
+      - add-my-pi
+
+permissions:
+  contents: write
+
+jobs:
+  add-listing:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout branch
+        uses: actions/checkout@v4
+        with:
+          ref: add-my-pi
+          fetch-depth: 0
+
+      - name: Add my-pi to Developer Tools
+        shell: python
+        run: |
+          from pathlib import Path
+
+          readme = Path("README.md")
+          text = readme.read_text(encoding="utf-8")
+          entry = "- [BoxBoxmari/my-pi](https://github.com/BoxBoxmari/my-pi) [![BoxBoxmari/my-pi MCP server](https://glama.ai/mcp/servers/BoxBoxmari/my-pi/badges/score.svg)](https://glama.ai/mcp/servers/BoxBoxmari/my-pi) 📇 🏠 🍎 🪟 🐧 - Local-first MCP runtime for coding agents with bounded workspace access, guarded writes, AST search, LSP navigation/diagnostics, and Git tooling."
+
+          if entry not in text:
+              lines = text.splitlines(keepends=True)
+              marker = "- [baobabcat/demandscope]"
+              for index, line in enumerate(lines):
+                  if line.startswith(marker):
+                      newline = "\r\n" if line.endswith("\r\n") else "\n"
+                      lines.insert(index + 1, entry + newline)
+                      break
+              else:
+                  raise SystemExit("Developer Tools insertion marker not found")
+              readme.write_text("".join(lines), encoding="utf-8", newline="")
+
+          Path(".github/workflows/add-my-pi-once.yml").unlink()
+
+      - name: Commit one-line listing change
+        run: |
+          git config user.name "BoxBoxmari"
+          git config user.email "154628234+BoxBoxmari@users.noreply.github.com"
+          git add -A
+          git commit -m "Add my-pi MCP server"
+          git push origin HEAD:add-my-pi