prooftrail

Publication Receipt Bundle

This page is the receipt wall for ProofTrail’s later publication lanes.

Use it when you need to answer a plain question:

Which receipts are already real, which ones are only review receipts, and which ones are still contract-only boxes waiting for a later heavy push?

Think of it like a loading dock. Some boxes already have signed delivery slips, some only have a courier pickup ticket, and some are still packed but have not left the warehouse.

Receipt layers

GitHub release/tag

GitHub Pages storefront

ClawHub skill page

OpenHands/extensions

Goose Skills Marketplace

Agent Skill Index

awesome-opencode project entry

npm package @prooftrail/mcp-server

Official MCP Registry

GHCR image ghcr.io/xiaojiou176-open/prooftrail-mcp-server:0.1.1

Repo-owned packet for the next heavy lane

If the next worker needs one reviewable repo-owned bundle before pushing publication again, start with these files:

  1. DISTRIBUTION.md
  2. llms-install.md
  3. docs/reference/mcp-distribution-contract.md
  4. apps/mcp-server/package.json
  5. apps/mcp-server/server.json
  6. skills/prooftrail-mcp/README.md
  7. docs/release/README.md
  8. docs/release/mcp-listings-cockpit.md

That bundle keeps four truths separate:

Current order for later heavy work

The clean order is:

  1. keep the release/tag, Pages, and packet docs aligned
  2. treat ClawHub as packet-discovery truth only
  3. treat OpenHands as a review receipt only
  4. publish @prooftrail/mcp-server before claiming Official MCP Registry progress
  5. keep GHCR in the contract-only bucket until public read-back stops saying 404 / 0 packages

What not to mix into this wall

Do not rewrite these receipts as proof that:

Theater C’s current job here is clearer paperwork, not bigger machinery.