| name | ai4math-math-tool |
|---|---|
| description | Route requests to standalone AI4Math mathematical tools. Use when a user asks to build or maintain a bilingual mathematical glossary, manage mathematical terminology, or select an available MathTool package. |
Route each request to the narrowest matching package:
| Request | Package |
|---|---|
| Build, update, query, back up, import, export, or review a bilingual mathematical glossary | skills/math-glossary/SKILL.md |
Before running a package:
- Read its
SKILL.md. - Check its declared dependencies without installing them automatically.
- Keep all user data and generated files in an explicit user-selected working directory.
- Report missing dependencies, destructive operations, and publication constraints before acting.