Recommended
Clone with Git
Keep an updatable checkout and pull later releases in place.
git clone https://github.com/xinjiegit/UCLAMoonshot-math-verifier.git math-verifierGet started
Install the Math Verifier v.1.0 skill.
One installation for your provider’s app and CLI. Follow the steps below to set up the skill and review your first paper.
Before you start
- A signed-in Codex app or Claude Code session with local file access and fresh subagents.
- Python 3.10 or newer for the local preparation and reporting helpers.
- For PDF input, the
pypdfPython package.
Desktop use does not require a separate Codex or Claude CLI installation, CLI login, or API key. In Claude’s desktop app, use the Code tab. Direct CLI runners require the corresponding authenticated CLI.
01 / Get the repository
Keep a local copy.
Use a Git clone if you want the easiest update path, or download a versioned release if you prefer a smaller skill-only bundle.
Open a terminal in the extracted or cloned project root: the folder containing both README.md and the verifier/ directory. You do not need to build this website or install its dependencies.
02 / Install the skill
Choose where you’ll use it.
Choose your provider, then run the command below in a terminal at the repository root.
python3 verifier/install.py codexThis links the main skill and both shortcuts into ~/.agents/skills/. The same installation works in the app and CLI. It does not install a provider CLI.
Keep the repository folder in place: the installed skills link to it. Existing copies or conflicting links are never overwritten.
03 / Run your first review
Open a new session with your paper.
Restart Codex or open a new session so it discovers the skills. In the desktop app, open a local task with access to your paper.
Use math-paper-verifier to verify paper.pdf and give me a findings report.Replace paper.pdf with your file or its path. You can also provide a TeX source folder, a text file, or Markdown. If you have both TeX and its matching compiled PDF, supply both for more readable finding locations.
Your results
Open verifier-report.md for the human-readable report. The accompanying verifier-output.json retains the structured findings. Reports include severity, supporting evidence, and paper locations where they can be established.
Optional / Targeted checks
Check something specific.
Use a shortcut when you want just one kind of check instead of the full review. Enter these in your Codex conversation, not your terminal.
A focus you specify
$math-paper-verifier-focused paper.pdf — check the equations in Section 3Describe what you want examined: boundary cases, quantifier order, whether a construction is well-defined, or another mathematical aspect. Equations and boundary cases are examples, not a fixed menu.
Central claims and their critical calculations
$math-paper-verifier-central-refuter paper.pdfTests central claims and checks critical calculations. Requires native subagents. Add “counterexample-only” to run just the counterexample search.
These shortcuts use the same reporting and safeguards as the main skill, but do not perform a full paper review or verify outside sources.
If something gets in the way
The skill does not appear
Restart the app or open a new session after installing. Check that you chose the correct provider and kept the repository folder in place. In Claude’s desktop app, check the Code tab.
The installer reports an existing copy or link
Already-correct links are safe to reuse. For conflicting copies or links, move the named entry outside the skills directory to preserve local edits, then rerun the installer. It will never overwrite an existing copy. Retired shortcuts are reported and left untouched as well.
Python or PDF support is missing
Run python3 --version to check your Python version. If it is older than 3.10, use a newer interpreter for the installer and skill helpers. For PDFs, install pypdf in that interpreter’s environment:
python3 -m pip install pypdfIf Python is externally managed, use a virtual environment and have the skill use its interpreter. TeX, text, and Markdown input do not need the PDF package.
I want to update my installation
Update the repository at the same location, then rerun the installer and open a new session. Existing correct links stay unchanged; any new shortcuts are added. If you installed a release ZIP, download and extract the new release, then rerun the installer from the new folder.