Universal mathematics reasoning skill for Claude, Codex, Hermes, OpenClaw, and other SKILL.md-compatible agents. Use for mathematical problem solving, theorem proofs, concept motivation, historical origin questions, cross-domain explanations, OCR of math images, and polished HTML/KaTeX notes. Core method: reconstruct the original problem and available toolkit, show pre-rigorous intuition before rigorous proof, test ideas through examples and counterexamples, connect across domains, and end with a reflection anchor.

2026-06-23

#002

AI4MATH

1 skills10updated 2026-01-19

50% of creator

skill

occupation

description

updated

explicate

computer-and-information-research-scientists-151221

Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.

2026-01-19

Showing 2 of 2 repositories

All repositories loaded