check-latex-rendering
Check the proof under solver/proof/ for LaTeX source patterns that commonly break Eve's renderer.
- License 许可
- Apache-2.0
- 最近更新
- 2026-08-20
- Stars
- ★ 66
- Forks
- 9
01 前言 Front Matter
- name
- check-latex-rendering
- description
- Check the proof under solver/proof/ for LaTeX source patterns that commonly break Eve's renderer.
03 SKILL.md 正文
Use this skill when checking a mathematical proof before reporting PASS.
- Read the proof files under
solver/proof/; do not edit them. - Check the LaTeX source for obvious rendering hazards:
- missing or mismatched math delimiters:
\[/\],\(/\),$...$, and$$...$$; - obvious unpaired
\left/\rightdelimiters; - mismatched
\begin{...}/\end{...}environments; - malformed
\beginor\endcommands; - LaTeX math environments left outside math delimiters, for example raw
\begin{pmatrix}in prose or inside plain[...]brackets.
- missing or mismatched math delimiters:
- Ignore LaTeX shown inside Markdown code spans or fenced code blocks.
- Report
LaTeX source review: PASSif no obvious hazard is visible. - Report
LaTeX source review: FAILif you find a hazard, with line numbers and snippets so the parent solver can fix the exact formula.
04 同仓库更多 Skills
writing-skills
Use when creating new skills, editing existing skills, or verifying skills work before deployment
theorem-search
Use TheoremSearch to find, verify, and cite mathematical theorem statements, named results, proof routes, and literature dependencies.
supervise-run
Use when monitoring a running Eve experiment and recovering from problems while it runs
run-math-proof-quickstart
Use when running a Math Proof quickstart from a user-provided problem: create a local task copy, launch a real EvE attempt, supervise it, and report proof/evaluation results.
run-circle-packing-smoke
Use when a fast end-to-end smoke run is needed for the Eve loop development, will run on circle packing task.
resume-run
Use when continuing an interrupted or paused Eve run from where it stopped (same run, same id), optionally after editing the experiment