Merge upstream origin/main (v2.60.0) with fork customizations preserved
Incorporates 78 upstream commits while preserving all local fork intent: - Keep deleted: dhh-rails, kieran-rails, dspy-ruby, andrew-kane-gem-writer (FastAPI pivot) - Merge both: ce-review (zip-agent-validator + design-conformance-reviewer wiring), kieran-python-reviewer (upstream pipeline + FastAPI conventions), ce-brainstorm/ce-plan/ce-work (upstream improvements + deploy wiring checks), todo-create (upstream template refs + assessment block), best-practices-researcher (upstream rename + FastAPI refs) - Accept remote: 142 remote-only files, plugin.json, README.md - Keep local: 71 local-only files (custom agents, skills, commands, voice) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
34
plugins/compound-engineering/skills/proof-push/scripts/proof_push.sh
Executable file
34
plugins/compound-engineering/skills/proof-push/scripts/proof_push.sh
Executable file
@@ -0,0 +1,34 @@
|
||||
#!/usr/bin/env bash
|
||||
# Push a markdown file to a running Proof server and return the document URL.
|
||||
# Usage: proof_push.sh <path-to-markdown> [server-url]
|
||||
set -euo pipefail
|
||||
|
||||
FILE="${1:?Usage: proof_push.sh <markdown-file> [server-url]}"
|
||||
SERVER="${2:-http://localhost:4000}"
|
||||
UI_URL="${3:-http://localhost:3000}"
|
||||
|
||||
if [[ ! -f "$FILE" ]]; then
|
||||
echo "error: file not found: $FILE" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
TITLE=$(basename "$FILE" .md)
|
||||
|
||||
RESPONSE=$(curl -s -X POST "${SERVER}/share/markdown" \
|
||||
-H "Content-Type: application/json" \
|
||||
-d "$(jq -n --arg md "$(cat "$FILE")" --arg title "$TITLE" '{markdown: $md, title: $title}')")
|
||||
|
||||
SLUG=$(echo "$RESPONSE" | jq -r '.slug // empty')
|
||||
ERROR=$(echo "$RESPONSE" | jq -r '.error // empty')
|
||||
|
||||
if [[ -z "$SLUG" ]]; then
|
||||
echo "error: failed to create document${ERROR:+: $ERROR}" >&2
|
||||
echo "$RESPONSE" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
TOKEN_PATH=$(echo "$RESPONSE" | jq -r '.tokenPath // empty')
|
||||
|
||||
echo "slug: $SLUG"
|
||||
echo "url: ${UI_URL}/d/${SLUG}"
|
||||
[[ -n "$TOKEN_PATH" ]] && echo "editor-url: ${UI_URL}${TOKEN_PATH}"
|
||||
Reference in New Issue
Block a user