list_demos
List available demo contracts with their IDs, titles, install commands, and run commands. Read-only catalog for exploring showcase demos without starting a session.
Instructions
List showcase run contracts (id, title, install, command). Read-only catalog — does NOT start a session, touch a rig, or run solvers. Use when the user asks for Minesweeper/Mona Lisa/Paint demos or you need the glasswarp-demo command. Prefer get_demo for one full card. For ad-hoc UI work use list_rigs → start_session → observe instead.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| format | No | Response format: markdown (default) or json |