L’interface est localisée ; les présentations et documents des Skills sont traduits automatiquement par IA dans votre langue. Le code, les commandes, chemins et termes techniques restent en version originale, et le document de l’auteur fait foi.
Explorer les Skills
Développement · SKILL.md

webui

webui

Launch and troubleshoot DeTikZify's Gradio web UI, choose models and algorithms, and reason about runtime UI behavior.

Independent GitHub snapshot · Automated classification · Original documentation governs

Documentation de la Skill

GitHub

name: webui description: "Launch and troubleshoot DeTikZify's Gradio web UI, choose models and algorithms, and reason about runtime UI behavior." disable-model-invocation: true metadata: disco-role: operating license: Apache 2.0

Web UI

Use this sub-skill when the task is about python -m detikzify.webui, Gradio startup, model selection, share links, light mode, or the browser-facing synthesis experience.

Route away from this sub-skill when the task is mostly about programmatic inference, training, evaluation, or dataset internals.

Fast Path

  1. Check the CLI surface first:
    python scripts/webui_help.sh
    
  2. Confirm the package import and core API surface if the UI startup depends on the same environment:
    python scripts/api_smoke.py
    
  3. If the task mentions rendering or MCTS gallery behavior, also confirm the compile path works:
    python scripts/tikz_smoke.py
    

What This Sub-Skill Owns

  • python -m detikzify.webui
  • CLI options such as --model, --algorithm, --lock, --lock_reason, --share, --light, and --timeout
  • Gradio theme choices and the light-mode patching behavior
  • runtime behavior of the two UI algorithms: MCTS and sampling
  • model-selection choices and the browser-facing compile / gallery flow

Common Decisions

  • Use --light when you want a white UI background that matches scientific figures.
  • Use --share only when you want a public shareable Gradio link.
  • Use --lock when the model must not be changed interactively.
  • Choose mcts when you want multiple ranked TikZ candidates and compiled previews.
  • Choose sampling when you only want a single synthesized output image.
  • Treat the timeout as minutes, not seconds, in the web UI advanced settings.

Bundled References

Related Helpers

Guardrails

  • A successful --help run does not prove that the model can launch.
  • The UI still depends on the same CUDA and TeX-backed capabilities as the programmatic pipeline.
  • --light is a theme control, not a generation control.
Skills enregistrées