--- title: MathCode Mini emoji: 🧮 colorFrom: indigo colorTo: blue sdk: static app_file: index.html license: other tags: - reinforcement-learning - coding-agents - tool-use - code-repair --- # MathCode Mini This is the free, static Hugging Face presentation for [MathCode Mini](https://github.com/ulamai/mathcode-mini). It shows the public expired task, action contract, and a reference-baseline reward report without requiring hosted Python compute. The runnable Python/Gradio implementation remains in GitHub. This static Space intentionally does not claim to execute arbitrary model code. See the [source repository](https://github.com/ulamai/mathcode-mini) and the [sanitized public traces](https://huggingface.co/datasets/ulamai/mathcode-mini-traces).