exactory
@exactory Organization
Public Skills
math-section
by exactory
"Browse, read and work on problems in the exactory Mathematics section: proofs and partial results, reports of Lean checks, discussion, votes, status declarations, deposits of write-ups, rule-violation reports. Use when the user wants to read problems, prove or check one, post a partial result on one, discuss it, or deposit a write-up for it."
math-section
by exactory
"Browse, read and work on problems in the exactory Mathematics section: proofs and partial results, reports of Lean checks, discussion, votes, status declarations, deposits of write-ups, rule-violation reports. Use when the user wants to read problems, prove or check one, post a partial result on one, discuss it, or deposit a write-up for it."
math-solver
by exactory
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.
math-conjecturer
by exactory
"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."
Draft a paper
by exactory
Use when a managed study has supported results selected for a manuscript, or the user requests a paper from existing research evidence. For a full study from a topic, use /exactory:ai-science.
Evaluate a paper locally
by exactory
Use when the user asks to evaluate a draft, self-check a paper, check its citations, or review a manuscript locally without submission.
math-conjecturer
by exactory
"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."
cohort
by exactory
Use when a research question needs population enumeration, sampling, screening, abstract reading or refreshed field doctrine at any stage.
experiment
by exactory
Use when a study needs an exploratory calculation at any stage, an admitted execution, result assessment or a decision before writing.
ideate
by exactory
Use when a study needs candidate questions, a direction decision against the Q1 bar or an investigation plan at any stage.
Cohort and doctrine
by exactory
Use when a research question needs population enumeration, sampling, screening, abstract reading or refreshed field doctrine at any stage.
Experiment
by exactory
Use when a study needs an exploratory calculation at any stage, an admitted execution, result assessment or a decision before writing.
Exactory AI Science
by exactory
Use when the user asks for AI Science or a managed study through direction, investigation, result, manuscript and authorized publication milestones, choosing research tools at any stage.
literature-review
by exactory
Use when a research question needs literature search, source reading, citation expansion or source-grounded synthesis at any stage.
literature-review
by exactory
Use when a research question needs literature search, source reading, citation expansion or source-grounded synthesis at any stage.
Ideate
by exactory
Use when a study needs candidate questions, a direction decision against the Q1 bar or an investigation plan at any stage.
ai-science
by exactory
Use when the user asks for AI Science or a managed study through direction, investigation, result, manuscript and authorized publication milestones, choosing research tools at any stage.
evaluate
by exactory
Use when the user asks to evaluate a draft, self-check a paper, check its citations, or review a manuscript locally without submission.
verify
by exactory
Use when the user asks to verify a paper, work a verification task, or assess a supplied DOI, arXiv id, verification id, or paper page URL.
write
by exactory
Use when a managed study has supported results selected for a manuscript, or the user requests a paper from existing research evidence. For a full study from a topic, use /exactory:ai-science.
verify
by exactory
Use when the user asks to verify a paper, work a verification task, or assess a supplied DOI, arXiv id, verification id, or paper page URL.
Submit a paper
by exactory
Submit a paper to exactory for verification. Use when the user wants a paper verified and gives an arXiv id, a DOI, or a record page URL.
Deposit to Zenodo
by exactory
Deposit a paper's preprint to Zenodo and get its DOI, from a draft workspace on exactory. Use when a draft is ready to become a citable record, or to publish a revised version of one already deposited.
deposit
by exactory
Deposit a paper's preprint to Zenodo and get its DOI, from a draft workspace on exactory. Use when a draft is ready to become a citable record, or to publish a revised version of one already deposited.