Minimalist UI pass: remove emojis and decorative chrome 6e69422 Running
p4r5kpftnp-cmd commited on
Spaces:
Running
Running
Commit History
Repo cleanup: dead code out, test isolation fix, real README 16fb4fc
p4r5kpftnp-cmd commited on
Polish UI: labeled controls, depth, live solving feedback 7181ddb
p4r5kpftnp-cmd commited on
Disable two-stage retry + warn on mid-generation model switch 98d2078
p4r5kpftnp-cmd commited on
Fix Groq model IDs against live catalog 7271e79
p4r5kpftnp-cmd commited on
Refresh Groq model lineup — drop Llama 3.x/Gemma, add GPT-OSS + friends f3cdbd1
p4r5kpftnp-cmd commited on
Fix UI bugs: bounded panel heights + readable text everywhere a0bfb95
p4r5kpftnp-cmd commited on
Add CI/CD: GitHub Actions workflow + ruff config 6cf7e7c
p4r5kpftnp-cmd commited on
Speed up proof generation: cache components, smaller max_tokens, two-stage retry df04431
p4r5kpftnp-cmd commited on
Add Claude API support (users supply their own key) 1145e92
p4r5kpftnp-cmd commited on
Redesign UI: light Claude.ai-inspired theme df4e015
p4r5kpftnp-cmd commited on
Fix 4 bugs found by stress-test agents + add fuzz/concurrent test suites b42c3ef
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Fix stdout race in solve_proof under concurrent requests ecb47f3
p4r5kpftnp-cmd Claude Opus 4.7 commited on
Redesign UI as two-pane VSCode-style editor 8d1d708
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Redesign Gradio UI with VSCode-style Claude theme 0834777
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Add Hugging Face Spaces deployment with Groq API c2ebdf5
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on