AI4Math-MathTool is the VeryMath repository for standalone mathematical tools with stable data contracts, executable helpers, and independently testable runtime behavior.
| Tool | Purpose | Status |
|---|---|---|
math-glossary |
Build, review, back up, import, export, and maintain bilingual mathematical glossaries | Released in v0.1.0 under the MIT License |
Each package keeps its own workflow, dependencies, provenance, normalization record, and tests. Course origin is recorded as metadata; it does not determine repository boundaries.
python3 -m unittest discover -s tests -v
python3 -m unittest discover -s skills/math-glossary/tests -vThis is the public canonical repository. The initial
v0.1.0
release is licensed under the MIT License; the source-publication
instruction and third-party review are recorded in
skills/math-glossary/PROVENANCE.yaml.
The original submission remains in a teacher-controlled, Git-ignored archive.
Contributor names use the course-wide English romanization convention.
See THIRD_PARTY.md for dependency and material boundaries, SECURITY.md for safe operation, and PUBLISHING.md for the remote publication procedure.