Fetching metadata from the HF Docker repository...
-
Upgrade UI to advanced minimalist tactical design; remove default footer links.
-
UI restyle: strict monochrome tactical palette (black/gray/white) for conjecture lab space
-
Retarget fallback model away from DeepSeek and keep explicit work-trace footer
-
Update UI footer and remove Gradio orange accents
-
Final sync push for conjecture lab space
-
Fix startup compatibility: Lean output textbox + launch css
-
Deploy Conjecture Lean+AI Lab Space
-
initial commit
