Agent skills
Skills you can use with AI coding agents, indexed from public GitHub repositories.
-
combinatorial-enumeration
Combinatorial object generation and counting
a5c-ai/babysitter 514
-
sensitivity-analysis-uq
Global sensitivity analysis methods
a5c-ai/babysitter 514
-
special-functions-library
Comprehensive special functions evaluation and manipulation
a5c-ai/babysitter 514
-
sensitivity-analysis-toolkit
Comprehensive sensitivity analysis for optimization
a5c-ai/babysitter 514
-
math-notation-validator
Validate and standardize mathematical notation
a5c-ai/babysitter 514
-
maxima-cas-interface
Open-source computer algebra system for symbolic computation
a5c-ai/babysitter 514
-
arxiv-search-interface
Search and analyze mathematical literature on arXiv
a5c-ai/babysitter 514
-
floating-point-analysis
Rigorous floating-point error analysis
a5c-ai/babysitter 514
-
benchmark-suite-manager
Manage and execute mathematical benchmark suites
a5c-ai/babysitter 514
-
pde-solver-library
Numerical methods for partial differential equations
a5c-ai/babysitter 514
-
computational-environment-manager
Manage reproducible computational environments
a5c-ai/babysitter 514
-
nonlinear-optimization-solver
Solve general nonlinear optimization problems
a5c-ai/babysitter 514
-
mcmc-diagnostics
MCMC convergence diagnostics and analysis
a5c-ai/babysitter 514
-
mixed-integer-optimization
Mixed-integer linear and nonlinear programming
a5c-ai/babysitter 514
-
pymc-probabilistic-programming
PyMC for flexible Bayesian modeling
a5c-ai/babysitter 514
-
sage-math-interface
SageMath for comprehensive mathematical computation
a5c-ai/babysitter 514
-
coq-proof-assistant
Interface with Coq proof assistant for formal verification
a5c-ai/babysitter 514
-
zbmath-interface
Interface with zbMATH Open database
a5c-ai/babysitter 514
-
latex-math-formatter
High-quality LaTeX mathematical typesetting
a5c-ai/babysitter 514
-
lean-proof-assistant
Interface with Lean 4 proof assistant for formal theorem verification
a5c-ai/babysitter 514
-
numerical-linear-algebra-toolkit
High-performance numerical linear algebra operations
a5c-ai/babysitter 514
-
mathscinet-interface
Interface with MathSciNet for mathematical reviews
a5c-ai/babysitter 514
-
robust-statistics-toolkit
Robust statistical methods resistant to outliers
a5c-ai/babysitter 514
-
power-sample-size-calculator
Statistical power analysis and sample size determination
a5c-ai/babysitter 514