AI ワークフローに合うスキルを見つけよう。
hugging-science
Discovers and evaluates scientific datasets, models, methodology posts, and Spaces through the Hugging Science catalog. Used when selecting scientific ML resources in biology, chemistry, genomics, materials, climate, physics, astronomy, medicine, mathematics, protein design, single-cell analysis, or PDE modeling, and when checking their actual datasets, Tra…
sympy
Performs exact symbolic mathematics with SymPy for algebra, calculus, equation solving, symbolic linear algebra, physics, and lambdify or LaTeX code generation. Use when a task needs symbolic results, explicit assumptions, or exact arithmetic; use NumPy or SciPy for purely numerical workloads.
sympy
SymPy is a Python library for symbolic mathematics that enables exact computation using mathematical symbols rather than numerical approximations.
writing-lean-proofs
Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications in Lean 4, defining new types or definitions in a Lean library, reviewing Lean proofs for readability and maintainability, refactoring long tactic proofs into lemmas, filling in so…
isabelle-hol-interface
Interface with Isabelle/HOL for classical mathematics formalization
arxiv-database
Search and retrieve preprints from arXiv via the Atom API. Use this skill when searching for papers in physics, mathematics, computer science, quantitative biology, quantitative finance, statistics, electrical engineering, or economics by keywords, authors, arXiv IDs, date ranges, or categories.
sympy-math
Symbolic mathematics via SymPy. Use when: user asks for algebraic manipulation, calculus, equation solving, or mathematical proofs. NOT for: numerical computation (use scipy) or statistical analysis.
sympy
ALWAYS use this when the request matches Sympy: SymPy is a Python library for symbolic mathematics that enables exact computation using mathematical symbols rather than numerical approximations.
agentprivacy-algebraist
Specialist persona for UOR ring algebra and lattice mathematics. Activates for ring operations, stratum calculations, algebraic transformations, the five strikes, or mathematical foundations of the forge.
Math
Teach, solve, and explore mathematics across all levels with adaptive depth and rigor.
academic-computer-graphics-image-processing
Especialista sênior em Computação Gráfica, Visão Computacional, Processamento Digital de Imagens e Composição Digital baseado nas obras Mathematics for Computer Graphics (John Vince), Computer Vision Metrics (Scott Krig), Mastering Computer Vision with PyTorch 2.0 (M. Arshad Siddiqui), The Art and Science of Digital Compositing (Ron Brinkmann), Numerical Al…
academic-search
Search academic paper repositories (arXiv, Semantic Scholar) for scholarly articles in physics, mathematics, computer science, quantitative biology, AI/ML, and related fields
academic-search
Search academic paper repositories (arXiv, Semantic Scholar) for scholarly articles in physics, mathematics, computer science, quantitative biology, AI/ML, and related fields
acta-mathematica
Use when targeting Acta Mathematica (Acta Math.) or deciding whether a pure-mathematics manuscript meets the bar of one of the most selective journals in the field. Encodes the journal's fit, framing, proof-and-rigor bar, house style, official-submission re-check, and desk-reject heuristics.
advanced-long-term-actuarial-mathematics
Guides advanced long-term actuarial mathematics (SOA ALTAM)—survival models, life insurance and annuity APVs, premiums and reserves (equivalence principle, Thiele), multiple decrement and Markov states, yield-curve discounting, mortality improvement, longevity risk, profit testing, and mortality graduation. Tool-agnostic, concept-first. Use when the user me…
advanced-short-term-actuarial-mathematics
Guides advanced short-term actuarial mathematics aligned with SOA ASTAM and P&C/health-adjacent modeling—severity and frequency distributions, aggregate and compound loss models, Bühlmann and Bühlmann-Straub credibility, ratemaking and experience rating, short-term reserving at the math level, MLE and goodness-of-fit, and risk measures (VaR, TVaR). Tool-agn…
advances-in-mathematics
Use when targeting Advances in Mathematics (Adv. Math.) or deciding whether a pure mathematics manuscript fits this broad-scope Elsevier research venue. Encodes the journal's fit, framing, proof standard, house style, official-submission re-check, and desk-reject heuristics.
anima-theory
ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understanding agency at maximum entropy, compositional world modeling, or applying Scholze-Clausen condensed mathematics to AI.
An independently imported catalog with original authors, licenses and source links. Classification is not a security audit.
Sources and import coverage