scaling-group

scaling-group/eve

scaling-group/eve

scaling-group/eve

Check the proof under solver/proof/ for LaTeX source patterns that commonly break Eve's renderer.

Use when choosing, editing, or overriding EvE driver settings for Codex, OpenCode, or interactive/debug runs.

scaling-group/eve

Use when a proof step involves finite groups, character tables, conjugacy data, finite fields, or other exact discrete-algebra com...

scaling-group/eve

Use when defining or updating Eve evaluation steps.

Use when implementing a subagent.

scaling-group/eve

Use when reading what an Eve run evolved — its best solvers/optimizers, their code, and how the population improved

Use Matlas semantic search over published mathematical literature to find canonical statements, hypotheses, and citation metadata ...

scaling-group/eve

scaling-group/eve

Use when monitoring a running Eve experiment and recovering from problems while it runs

Use TheoremSearch to find, verify, and cite mathematical theorem statements, named results, proof routes, and literature dependenc...

scaling-group/eve

scaling-group/icon-core