77,210 skills — best first
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
Design and implement data-flow analyses for compiler optimization
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.
Electric motor and drive unit design and optimization expertise
AI-assisted literature review for question-answering over papers and evidence synthesis
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.
Skill for environmental test campaign planning and execution
Epic Online Services skill for launcher integration.
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
Skill for comprehensive flight test planning and execution support
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
Game analytics skill for event tracking.
HUD design skill for health bars and minimaps.
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
GOG Galaxy SDK skill for achievements.
Comprehensive graph algorithms implementation
Gene Set Enrichment Analysis skill for functional annotation and pathway interpretation
Specialized skill for aircraft handling qualities evaluation
Hardware-in-the-loop test development and automation expertise
HIPAA compliance validation skill for genomic data handling and audit
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.
IGV integration skill for interactive genome visualization and review
Skill for building interactive data dashboards
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
Lumerical FDTD and MODE skill for nanophotonics, integrated photonics, and solar cell design
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
Expert skill for space mission design and trajectory analysis
Error mitigation skill using Mitiq for NISQ device noise reduction
Mixed-integer linear and nonlinear programming
Ad mediation skill for rewarded video.
Mobile GPU optimization skill for thermal management.
Interface with multiple model checking tools for formal verification
Monte Carlo methods for uncertainty quantification
Motion matching skill for animation databases.
Multiple comparison correction methods
nbodykit large-scale structure analysis skill for N-body simulations and galaxy surveys
Skill for visualizing network and graph data
Nextflow workflow management skill for reproducible bioinformatics pipelines
Quantum noise modeling skill for simulation and hardware characterization
Solve general nonlinear optimization problems