Preview build on GitHub Pages. The open registry will live at e2er.org.
Skip to content
Demonstrator · items marked Example are invented · what exists today
E2ER

Skills · Theorist Toolbox

/codex-math

By Moran Koren · as credited by the source

Drives OpenAI Codex as an adversarial mathematical co-processor — verify, write, and explore modes; every output is a lead, not a verdict.

In the catalogueauditMIT
Anyone can contribute. Improve this skill Contribute a skill

Provenance

Project
Theorist Toolbox
Maintained by
Moran Koren (Ben-Gurion University of the Negev, Economics)
Licence
MIT · can be redistributed
Source file
morankor/theorist-toolbox/blob/main/skills/codex-math/skill.md
Identifier
theorist-toolbox/codex-math

Use it

e2er skills install theorist-toolbox

The command is on the development branch of E2ER.

Cite this skill
Persistent identifiers planned 
@software{morankorenbengurionunive2026codexmath,
  title   = {/codex-math},
  author  = {Moran Koren (Ben-Gurion University of the Negev, Economics)},
  year    = {2026},
  note    = {E2ER skill. Persistent identifier planned},
  url     = {https://github.com/morankor/theorist-toolbox/blob/main/skills/codex-math/skill.md}
}
 Report a failure

Used by

No E2ER specialist loads this skill by default. Once installed, a template can assign it to a specialist.

Evaluations

Planned

No evaluation record yet. An evaluation shows where a skill breaks before others rely on it.

Evaluate this skill

Description

Data model
Discipline
General
Method family
not specified
Design
not specified
Research stage
Formal modeling
Contributors
Moran Koren
Usage
not used in published research yet
Source
RISE skill catalogue · theorist-toolbox · @4c17bae
Record
skill:theorist-toolbox/codex-math · JSON

Solid tags are declared by the source or mapped from its terms; dashed tags are inferred by a published rule. Hover a tag for its provenance.

More audit skills in Theorist Toolbox

agent:lean-prover