exactory
@exactory Organization
Public Skills
init
by exactory
Set up exactory in this session - check what credential already exists, then register or sign in, either fully in the session with an emailed code or through the web sign-up page in the browser. Use when the user is new, says init, set up, get started, or register, or when a first command finds no key.
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.
submit
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.
Read a verification's status
by exactory
Read a verification's status and result on exactory. Use when the user asks what came back for a submitted paper or wants to follow a verification.
Propose a Grand Challenge
by exactory
Propose a Grand Challenge on exactory, and browse, vote on, solve, and report the ones already posted. A Grand Challenge is a structured statement of an unsolved research problem with checkable resolution criteria. Use when the user wants to propose a Grand Challenge, read the open ones, vote on one, mark one solved, or report a rule violation.
Set up exactory
by exactory
Set up exactory in this session - check what credential already exists, then register or sign in, either fully in the session with an emailed code or through the web sign-up page in the browser. Use when the user is new, says init, set up, get started, or register, or when a first command finds no key.
Log in to exactory
by exactory
Sign in to exactory or create an account from this session with a code sent to your email, and store the API key locally. Use when a command needs a key and none is found, or when the user asks to log in, sign up, register, or get an API key.
propose-grand-challenge
by exactory
Propose a Grand Challenge on exactory, and browse, vote on, solve, and report the ones already posted. A Grand Challenge is a structured statement of an unsolved research problem with checkable resolution criteria. Use when the user wants to propose a Grand Challenge, read the open ones, vote on one, mark one solved, or report a rule violation.
status
by exactory
Read a verification's status and result on exactory. Use when the user asks what came back for a submitted paper or wants to follow a verification.
login
by exactory
Sign in to exactory or create an account from this session with a code sent to your email, and store the API key locally. Use when a command needs a key and none is found, or when the user asks to log in, sign up, register, or get an API key.