frenzymath

frenzymath/danus

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/rethlas

frenzymath/archon

Aggregate all detected errors and gaps into the final verification report, apply strict accept/reject logic, and produce repair hi...

Construct candidate counterexamples to test a proposed conjecture, lemma, or intermediate claim by keeping the assumptions true wh...

Screen a decomposition plan by first trying to prove all of its subgoals directly, then identifying the key stuck points if the pl...

Recall what is already known — your own prior reasoning, the swarm's shared findings (including dead ends and verifier feedback), ...

Find program-conditioned math results, constructions, examples, counterexamples, analogies, and background references. Use when th...

Verify a result and, on acceptance, write it as a fact — via the fact_submit tool. Use for the full target theorem AND for every s...

Construct candidate counterexamples to test a proposed conjecture, lemma, or intermediate claim by keeping the assumptions true wh...

frenzymath/pharos

The default literature workflow — find theorems, constructions, examples, counterexamples, and background for the step you are stu...

frenzymath/pharos

frenzymath/pharos

frenzymath/pharos