Apply amortized analysis techniques including aggregate, accounting, and potential methods

Skill for identifying and mapping analogies across domains

Animation blending skill for blend trees.

Character rigging skill for IK constraints.

Animation state machine skill for transitions.

Anti-cheat skill for server validation and cheat detection.

Analyze and prove approximation ratios for optimization algorithms

Search and analyze mathematical literature on arXiv

Asset optimization skill for mesh and texture budgets.

A* pathfinding skill for heuristics and optimization.

Vehicle cybersecurity engineering per ISO/SAE 21434

Automotive Ethernet implementation and validation expertise

Analysis skill for detecting and mitigating barren plateaus in variational circuits

Bayesian probabilistic reasoning for prior specification, posterior computation, and belief updating

Manage benchmarks for algorithm engineering experiments and evaluations

Blender to engine pipeline skill for GLTF/FBX export.

Bluesky experimental orchestration skill for scan automation, data collection, and metadata management

BSP geometry skill for Unreal brushes and CSG.

Hardware calibration data analysis skill for optimal qubit selection

Cell Ranger skill for 10X Genomics single-cell data processing

ClinVar database query skill for clinical variant interpretation and pathogenicity lookup

Combinatorial object generation and counting

Classify problems into complexity classes with supporting evidence and proof strategies

Manage reproducible computational environments

Citation graph exploration for discovering related work through visual graph traversal

Reference implementations and specifications of consensus protocols

Console optimization skill for memory constraints and TCRs.

Solve convex optimization problems efficiently

Interface with Coq proof assistant for formal verification

CosmoSIS cosmological parameter estimation skill for MCMC sampling and likelihood analysis

Automated search for counterexamples to mathematical conjectures

Implement CEGAR for synthesis and verification workflows

Classical data encoding skill for quantum machine learning applications

Skill for managing data versions and provenance

Decal projection skill for impact marks.

Delphes fast detector simulation skill for phenomenological studies and BSM searches

Optimization without gradient information

Mathematical diagram and visualization generation

Skill for planning and executing DO-178C software certification activities

Skill for optimizing experimental designs using DOE principles

Generate compilers and interpreters for domain-specific languages

Virtual economy skill for currency balance.

emcee MCMC skill for Bayesian parameter estimation and posterior sampling in physics applications

Engine emissions calibration and aftertreatment optimization expertise

ENet reliable UDP skill for channels and packet fragmentation.

EPICS control system skill for accelerator and beamline instrument control and monitoring

Electric power steering calibration and control development

Facial animation skill for blend shapes and lip sync.

Expert FEA skill for aerospace structural analysis workflows

Skill for creating and validating flight dynamics models

Flipbook texture skill for sprite sheets.

Rigorous floating-point error analysis

Skill for formal logical reasoning and argument validation

Gene fusion detection skill for oncology applications with multiple caller integration

GA4GH standards compliance skill for data sharing and interoperability

Genome in a Bottle benchmark validation skill for pipeline accuracy assessment

Git LFS skill for large game assets.

Skill for guidance, navigation, and control system simulation and analysis

Comprehensive graph algorithms implementation

Gene Set Enrichment Analysis skill for functional annotation and pathway interpretation

Specialized skill for aircraft handling qualities evaluation

Type approval documentation and certification management

Human Phenotype Ontology skill for phenotype-driven gene prioritization

HUMAnN functional profiling skill for metagenomic pathway analysis

Automated hypothesis generation using abductive reasoning and knowledge graph traversal

In-app purchases skill for receipt validation.

Skill for aerospace interface definition and management

Function interpolation and approximation methods

Interface with Isabelle/HOL for classical mathematics formalization

Functional safety process and analysis support per ISO 26262

Skill for checking and ensuring Jupyter notebook reproducibility

Kraken2 taxonomic classification skill for rapid metagenomic read assignment

LabVIEW instrument control skill for DAQ systems, hardware integration, and real-time data acquisition

Skill for compiling and managing LaTeX documents

High-quality LaTeX mathematical typesetting

Format proofs and algorithms in publication-quality LaTeX

Interface with Lean 4 proof assistant for formal theorem verification

Check linearizability of concurrent data structure implementations

Game localization skill for text tables and cultural adaptation.

Automatically generate and verify loop invariants for algorithm correctness proofs

MAGeCK CRISPR screen analysis skill for gene essentiality scoring

Matchmaking skill for ELO/MMR and skill-based matching.

Validate and standardize mathematical notation

Interface with Mathematica/Wolfram Language for advanced symbolic computation

Interface with MathSciNet for mathematical reviews

Open-source computer algebra system for symbolic computation

MaxQuant mass spectrometry skill for protein identification and quantification

MCMC convergence diagnostics and analysis

MEEP electromagnetic FDTD simulation skill for photonic devices, metamaterials, and waveguides

MEGAHIT metagenomic assembly skill for reconstructing genomes from short reads

Analyze programs under various memory models for concurrent correctness

Menu skill for navigation and settings.

Skill for conducting meta-analyses of research findings

MetaPhlAn metagenomic profiling skill for species-level community composition

MISRA C/C++ static analysis and compliance checking

Error mitigation skill using Mitiq for NISQ device noise reduction