math-solver
Use when a stated mathematical proposition, conjecture, claimed open bound, exponent, constant, finiteness statement, or numbered open problem is to be proved, disproved, formally verified, or advanced through persistent bounded research; or when the user asks to resume, restart, or continue such an objective.
Install
npx skillscat add exactory/exactory-client/codex-skills-math-solver Install via the SkillsCat registry.
SKILL.md
Exactory: math-solver
First read Codex runtime instructions.
Read the common research constitution.
Then read and execute the shared math-solver workflow.
Resolve that workflow's relative links from its own directory.
Install
npx skillscat add exactory/exactory-client/codex-skills-math-solver Install via the SkillsCat registry.