docs(outreach): update Show HN post to 96 cartridges; add VPS redeploy script

- show-hn-post.md: 95→96, "V-lang" removed (now unified Zig adapter),
  QUICKSTART.md→QUICKSTART-USER.adoc, PMPL/MPL-2.0 clarified, date updated
- vps-redeploy.sh: one-shot redeploy script (pull→stop→rm→run→health check)

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

docs/outreach/show-hn-post.md

@@ -1,26 +1,26 @@
 <!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
 <!-- Show HN submission draft for BoJ Server -->
-<!-- Last updated: 2026-04-03 -->
+<!-- Last updated: 2026-04-12 -->
 
 # Show HN Draft
 
-**Title:** Show HN: BoJ – One MCP server, 95 formally verified cartridges, zero Python
+**Title:** Show HN: BoJ – One MCP server, 96 capability cartridges, zero Python
 
 ---
 
 **Body:**
 
 I had three Claude instances, a Cursor session, and about twenty MCP/LSP/DAP servers running. My desktop froze. That was the moment I realised the problem wasn't any individual server — it was the combinatoric explosion of them.
 
-BoJ (Bundle of Joy) is a single MCP server that covers 95 capability domains through swappable cartridges. Database, containers, git, secrets, queues, IaC, observability, static sites, proofs, fleet management, neurosymbolic AI, agent orchestration, cloud, Kubernetes, LSP, DAP, BSP, feedback, and more. Each cartridge has a formally verified interface (Idris2 dependent types prove the safety gate at compile time), a Zig FFI layer for native execution, and a V-lang adapter that exposes REST + gRPC + GraphQL on three ports. Five safety modules (SafeHTTP, SafePromptInjection, SafeCORS, SafeAPIKey, SafeWebSocket) guard the boundary.
+BoJ (Bundle of Joy) is a single MCP server that covers 96 capability domains through swappable cartridges. Database, containers, git, secrets, queues, IaC, observability, static sites, proofs, fleet management, neurosymbolic AI, agent orchestration, cloud, Kubernetes, LSP, DAP, BSP, feedback, and more. Each cartridge has a formally verified interface (Idris2 dependent types prove the safety gate at compile time), a Zig FFI layer for native execution, and a unified adapter that exposes REST + gRPC + GraphQL + SSE on four ports. Five safety modules (SafeHTTP, SafePromptInjection, SafeCORS, SafeAPIKey, SafeWebSocket) guard the boundary.
 
-The architecture is a 2D matrix: protocols on one axis, domains on the other. Instead of N separate servers, you get one catalogue where AI agents read a menu and mount what they need. Federation is built in — community nodes discover each other via QUIC gossip with hash attestation, so you can self-host a node and join the network without any central coordination.
+The architecture is a 2D matrix: protocols on one axis, domains on the other. Instead of N separate servers, you get one catalogue where AI agents read a menu and mount what they need. Federation is built in — community nodes discover each other via gossip with hash attestation, so you can self-host a node and join the network without any central coordination.
 
 Install: `deno install -g npm:@hyperpolymath/boj-server` or `brew install hyperpolymath/tap/boj-server`
 
 The whole thing is Alpha — it needs real users doing real things.
 
 Repo: https://github.com/hyperpolymath/boj-server
-Quickstart: https://github.com/hyperpolymath/boj-server/blob/main/docs/QUICKSTART.md
+Quickstart: https://github.com/hyperpolymath/boj-server/blob/main/QUICKSTART-USER.adoc
 
-This is a community project. I make nothing from it. The code is PMPL-licensed. I built this to learn from it, and I learn most from other people using it.
+This is a community project. I make nothing from it. The code is PMPL-licensed (MPL-2.0 fallback). I built this to learn from it, and I learn most from other people using it.

docs/outreach/vps-redeploy.sh

@@ -0,0 +1,42 @@
+#!/usr/bin/env bash
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# VPS redeploy script — run locally after `podman push ghcr.io/hyperpolymath/boj-server:latest`
+# Usage: bash docs/outreach/vps-redeploy.sh
+set -euo pipefail
+
+VPS="root@209.42.26.106"
+IMAGE="ghcr.io/hyperpolymath/boj-server:latest"
+
+echo "==> Redeploying boj-server on $VPS"
+
+ssh "$VPS" bash -s <<EOF
+set -euo pipefail
+
+echo "Pulling latest image..."
+podman pull $IMAGE
+
+echo "Stopping old container..."
+podman stop boj-server 2>/dev/null || true
+podman rm   boj-server 2>/dev/null || true
+
+echo "Starting new container..."
+podman run -d --name boj-server \
+  --restart=always \
+  -p 7700:7700 -p 7701:7701 -p 7702:7702 -p 7703:7703 \
+  -v boj-server-data:/data \
+  $IMAGE
+
+echo "Waiting for health check..."
+sleep 5
+curl -sf http://localhost:7700/health && echo "Health: OK"
+
+echo "Cartridge count:"
+curl -sf http://localhost:7700/menu | python3 -c "
+import sys, json
+data = json.load(sys.stdin)
+carts = data.get('cartridges', data.get('servers', []))
+print(f'  {len(carts)} cartridges loaded')
+" 2>/dev/null || curl -sf http://localhost:7700/menu | head -5
+
+echo "Done."
+EOF