#001IntuitMath.skill1 skills40mis à jour 2026-06-2350% du créateurskillmétierdescriptionmis à jourintuitmathDéveloppeurs de logicielsUniversal 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
#002AI4MATH1 skills10mis à jour 2026-01-1950% du créateurskillmétierdescriptionmis à jourexplicateScientifiques en recherche informatique et en informationExpand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.2026-01-19