automated-reasoning skills

12 tagged automated-reasoning, measured the same way as everything else here.

Browse within: LLM 16agents 16ai4math 16

search-math-results

01

frenzymath/Danus

Skill Codex

Find program-conditioned math results, constructions, examples, counterexamples, analogies, and background references. Use when the current active program needs repair, mutation, analogy, a program shift, or carefully gated obstruction search.

not rated 483 +6 1mo ago A SkillSpector: pass 48 tokens original Apache-2.0

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: