didericis 3f4708f970 docs(demo): add end-to-end demo with recorded GIF ...

Squashes the demo-build arc: initial GIF + scripts, refactor to drive
recording through real cli.py, theme/timing tweaks, and the switch to
prompt-driven probes.

2026-05-13 15:33:28 -04:00

..

demo-record.sh

docs(demo): add end-to-end demo with recorded GIF

2026-05-13 15:33:28 -04:00

demo-setup.sh

docs(demo): add end-to-end demo with recorded GIF

2026-05-13 15:33:28 -04:00

demo-teardown.sh

docs(demo): add end-to-end demo with recorded GIF

2026-05-13 15:33:28 -04:00

demo.sh

docs(demo): add end-to-end demo with recorded GIF

2026-05-13 15:33:28 -04:00