#001IntuitMath.skill1 skills40atualizado 2026-06-2350% do criadorskillocupaçãodescriçãoatualizadointuitmathDesenvolvedores de softwareUniversal 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 skills10atualizado 2026-01-1950% do criadorskillocupaçãodescriçãoatualizadoexplicateCientistas de pesquisa em computação e informaçãoExpand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.2026-01-19