Menü
Route AI4Math automated mathematical research tasks to normalized skill packages in this repository.
Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.
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.
Basierend auf der SOC-Berufsklassifikation
| 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.