Menu
Route AI4Math automated mathematical research tasks to normalized skill packages in this repository.
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional SOC
Use when a coding agent should clone, patch, set up, and supervise FrenzyMath Rethlas on a machine that already has OpenCode installed and configured.
Use when Codex needs to interactively deploy, configure, verify, or launch AI4Math Auto-Research with Agent Laboratory, including API-key handling, user research-topic intake, full local validation, and human review gates.
Use when Codex should act as a coding-agent-native mathematical problem discovery engine: turn fuzzy mathematical background, scattered notes, domain intuition, failed proof attempts, or immature theorem ideas into a ranked problem menu, conjecture lattice, evidence ledger, counterexample pressure, proof obligations, work orders, and a resumable research_state_packet. Use before theorem proving or formal verification when the user does not yet know which mathematical problem should be pursued.
Use when Codex should work as a coding-agent-native proof planning and review workflow: transform a candidate theorem, proof sketch, problem artifact, or proof_obligations into a proof blueprint, verifier-style report, repair hints, proof-obligation ledger patches, and a strict proof acceptance decision without treating API access as the default path.
| name | ai4math-auto-research |
| description | Route AI4Math automated mathematical research tasks to normalized skill packages in this repository. |
Use this repository as a routing layer for AI4Math automated research workflows.
Concrete skills belong under skills/<skill-name>/. Before running a concrete
workflow, open that package and follow its package-local SKILL.md, README,
scripts, and references.
skills/agent-laboratory-workflow/: deploy, configure, validate, and launch
bounded Agent Laboratory auto-research runs.skills/discover-math-problems/: convert fuzzy mathematical background into
ranked problems, conjecture lattices, proof obligations, and work orders.skills/proof-blueprint-review/: coordinate agent-mediated proof
generation, verifier-style review, repair hints, and proof acceptance reports.skills/rethlas-opencode-adapter/: clone, patch, set up, and supervise
FrenzyMath Rethlas runs through OpenCode.skills/ using kebab-case names.