openmaths-contribute
Work on mathematical problems and contribute results in the open-maths/OpenMaths repository. Use for understanding its problem format, locating research artifacts, preparing or reviewing attempts, and using Git or GitHub for OpenMaths collaboration; do not use for repository development or unrelated GitHub work.
- License
- Apache-2.0
Pinned to revision 42e0c36736d0, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/openmaths-contribute/SKILL.md
- skills/openmaths-contribute/agents/openai.yaml
- skills/openmaths-contribute/references/github-workflow.md
- skills/openmaths-contribute/references/research-workflow.md
Every link opens the file at its source, pinned to the revision this page describes.