Session
Same shape as desktop Sessions: watch the transcript and enqueue prompts. Without an online executor this page stays read-only.
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).