一个技能，一个新的可能。找到适合你的 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 datase…
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, fillin…
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), Numer…
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 …
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). T…
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.