| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| MathCode v0.3.0 source code.tar.gz | 2026-08-19 | 2.5 MB | |
| MathCode v0.3.0 source code.zip | 2026-08-19 | 2.5 MB | |
| README.md | 2026-08-19 | 1.3 kB | |
| mathcode-v0.3.0-darwin-arm64.tar.gz | 2026-08-19 | 59.7 MB | |
| mathcode-v0.3.0-darwin-arm64.tar.gz.sha256 | 2026-08-19 | 102 Bytes | |
| mathcode-v0.3.0-linux-x86_64.tar.gz | 2026-08-19 | 91.8 MB | |
| mathcode-v0.3.0-linux-x86_64.tar.gz.sha256 | 2026-08-19 | 102 Bytes | |
| SHA256SUMS.txt | 2026-08-19 | 204 Bytes | |
| Totals: 8 Items | 156.5 MB | 1 | |
MathCode v0.3.0
MathCode v0.3.0 delivers the complete local WebUI workflow, paper-to-vault capabilities, and expanded Agentic Lean tooling.
Highlights:
- Fresh WebUI sessions default to
openai/gpt-5.6-sol; valid saved provider/model routes remain unchanged. - Verified native bundles are provided for macOS arm64 and Linux x86_64.
- The Linux x86_64 bundle is built on Ubuntu 22.04 and requires an AVX2-capable CPU.
- Release packaging now uses an explicit Lean workspace allowlist so private vaults, test fixtures, and scratch files cannot enter public artifacts.
Provenance:
- Source
main:809b7c36507b5a18b18becab0dbb7931bbdab9ab - Full release validation completed on parent commit
0eae2d6872a97c6d1cb1ebb04d6410d16d5862a7; the final source amend corrects the Linux artifact verification path and removes internal-only capability copy from distribution-facing README and env templates. - Linux release build: https://github.com/T3S1AMAX/MathCode/actions/runs/32223134886 (one-time explicit source-CI override; exact current
main, version, platform, binary, metadata, and extracted archive checks all passed)
Download the archive for your platform and verify it with the corresponding .sha256 file or the aggregate SHA256SUMS.txt.