ProofShip

Sessions on the web — observe transcript, send prompts. Code and keys stay on the executor.

Session

Same shape as desktop Sessions: watch the transcript and enqueue prompts. Without an online executor this page stays read-only.

Executor

Not connected — executor presence unknown.

Disconnected — open desktop ProofShip or choose Platform.

Account

Sign in with a wallet (SIWE). This identifies you on the relay — it does not give the relay a deploy key.

Not signed in.

Transcript

Deploy (UserExecutor only)

Sends cmd.deploy to your desktop/VPS. Platform refuses keyed deploy. Private keys never transit the relay.

Snapshot

{}

Event tail

Contract interact

Views via RPC eth_call. Writes use window.ethereum when present. ABI + address fill from sealed snapshot when available.

ProofForge MCP (external IDE agents)

Not the main conversation surface. Remote IDE agents can attach this HTTP MCP. Local compile + gate + deploy stay on the executor (skill + stdio MCP).

Health