Step-by-step SKILL.md packages an AI follows for a single kind of task.
A skill is a focused playbook - instructions, examples and constraints - that makes any model reliable at one job, from SQL reporting to changelog writing. The router fills a plan's skill slot with the best match for the request.
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, xhigh reasoning), fixes each gap with full derivat
