---
name: proof-push
description: This skill should be used when the user wants to push a markdown document to a running Proof server instance. It accepts a file path as an argument, posts the markdown content to the Proof API, and returns the document slug and URL. Triggers on "push to proof", "proof push", "open in proof", "send to proof", or any request to render markdown in Proof.
---

# Proof Push

Push a local markdown file to a running Proof server and open it in the browser.

## Usage

Accept a markdown file path as the argument. If no path is provided, ask for one.

### Execution

Run the bundled script to post the document:

```bash
bash scripts/proof_push.sh <file-path> [server-url]
```

- `file-path` — absolute or relative path to a `.md` file (required)
- `server-url` — Proof server URL, defaults to `http://localhost:4000`

The script:
1. Reads the file content
2. POSTs to `/share/markdown` as JSON with `{markdown, title}`
3. Returns the slug, base URL, and editor URL with access token

### Output

Report the returned slug and URLs to the user. The editor URL (with token) gives full edit access.

### Error Handling

If the script fails, check:
- Is the Proof server running? (`curl http://localhost:4000`)
- Does the file exist and contain non-empty markdown?
- Is `jq` installed? (required for JSON construction)

## Resources

### scripts/

- `proof_push.sh` — Shell script that posts markdown to Proof's `/share/markdown` endpoint and returns the document slug and URLs.