exactory

math-conjecturer

"Create open mathematical problems as research and post them to the exactory Mathematics section: explore an area, compare candidates, formulate the exact statement, attempt it with math-solver or assess an existing attempt, establish openness, build the value case with the rubric, obtain the reviews, and post. Use when the user wants to find, formulate or post an open problem."

exactory 0 Updated 1w ago
GitHub

Install

npx skillscat add exactory/exactory-client/codex-skills-math-conjecturer

Install via the SkillsCat registry.

SKILL.md

Exactory: math-conjecturer

First read Codex runtime instructions.
Read the common research constitution.
Then read and execute the shared math-conjecturer workflow.
Resolve that workflow's relative links from its own directory.

Categories