The Agent Skills Directory

[COMMAND_EXECUTION]: The skill utilizes the Bash tool to execute mathematical verification scripts located in the local scripts/ directory. It uses uv run to invoke Python modules for group axiom verification and expression simplification.
[EXTERNAL_DOWNLOADS]: The use of the uv package manager for script execution implies standard dependency management from official Python registries, which is routine for mathematical software tools.
[PROMPT_INJECTION]: The instructions focus strictly on mathematical problem-solving logic and do not contain any patterns attempting to override agent safety constraints or system prompts.

groups