Invoke when iterating toward a fix/optimization/answer against a live system and tempted to guess from sparse signals — an observe→analyze→act loop over instrumentation + a scalar…
Use BEFORE fixing any non-trivial bug. Write a test that fails because of the bug, watch it fail, then fix the bug until the test passes.
Use when drafting the cover note to the editors for an Annals of Mathematics submission — concisely conveying the main result, its significance, scope fit, and any…
Use when laying out the proof strategy of a pure-mathematics manuscript for Annals of Mathematics — the architecture of the argument, the key lemmas and propositions, the novel…
Use when anticipating how an expert Annals of Mathematics referee will verify a proof — stress-testing the argument for gaps, checking external dependencies, and pre-empting the…
Use when stating the main theorem(s) of a pure-mathematics manuscript precisely, establishing their significance, and positioning them against prior work for an Annals of…
Use when responding to an Annals of Mathematics referee report — revising the manuscript to close gaps or strengthen results and writing a point-by-point reply.
Use when judging whether a pure-mathematics result clears the Annals of Mathematics importance and originality bar and falls within scope, before investing in framing or…
Use when running the final pre-submission preflight for an Annals of Mathematics manuscript — AMS-LaTeX compile, theorem environments, abstract and MSC, references, arXiv,…
Use when deciding what belongs in appendices versus the main text of a pure-mathematics manuscript for Annals of Mathematics — technical/auxiliary results, long computations, and…
Use when deciding which anmath-* sub-skill to invoke next, or when sequencing work on a pure-mathematics manuscript from scope check through major revision for an Annals of…
Use when polishing the prose and rigor of a pure-mathematics manuscript for Annals of Mathematics — eliminating gaps, removing "clearly"/"it is easy to see", precise quantifiers,…
Write effective, consistent annotations on LLM/agent spans and traces, and coach the user on annotation practice.
Mine .aoa session evidence for missed eval triggers, candidate regression cases, and local eval pressure only after web research and repo owner surfaces are checked, returning raw…
MANDATORY before re-dispatching the builder after any APD verifier block or critical reviewer finding on Codex.
Complete App Store Optimization (ASO) toolkit for researching, optimizing, and tracking mobile app performance on Apple App Store and Google Play Store — from…
Complete App Store Optimization (ASO) toolkit for researching, optimizing, and tracking mobile app performance on Apple App Store and Google Play Store — from bg-szy/TOP-SKILLS
Complete App Store Optimization (ASO) toolkit for researching, optimizing, and tracking mobile app performance on Apple App Store and Google Play Store — from…
Standard enterprise per ASO (App Store Optimization). Invocare per: ottimizzazione titolo/sottotitolo app, keyword research, descrizione, strategia screenshot, template risposta…
USE FOR: Strategy creation, analysis, and evaluation — game-theoretic foundations, competitive analysis, decision frameworks, SWOT/PESTLE, wargaming, and their mathematical…
Autonomously improve a real artifact (code, training recipe, agent harness, data pipeline, prompt) against an objective and an evaluator, using Hypothesis Tree Refinement (HTR)…
Use when targeting International Conference on Artificial Intelligence and Statistics (AISTATS) or deciding whether a computer-science manuscript fits this venue.
App Store Optimization keyword research using the public iTunes Search API. Computes keyword popularity (5-100) and difficulty (1-100) scores based on RespectASO algorithms.
Beginner-friendly App Store Optimization guide covering keyword research, screenshot design, rating management, and A/B testing for iOS and Android.
Shell history management with Atuin. Use when configuring shell history, setting up history sync, searching command history, importing history from other shells, troubleshooting…
Use when augmenting balanced trees or dynamic sets with maintained metadata, order-statistic trees, interval trees, rank/select queries, overlap search, red-black-tree…
Automated machine learning with hyperparameter optimization using Optuna, Hyperopt, or AutoML libraries.
[Agentic] Innovation & Improvement (OID) - Experimentation, A/B Testing, and Process Optimization (SKILL-20)
Use when before peak detection on a composite or individual mass track when you need to filter out low-intensity noise and baseline drift without removing true signal.
Performs and explains basic statistical calculations — percentages, percentage changes, per-capita rates, averages, medians, and ratios — from data you provide, showing the…
Use when after batch correction has been applied to metabolomics data using pooled SQC samples, and you need to retrieve the corrected ratios (compound / internal standard) for…
Use when you have experimental retention times (RTs) for a small set of calibration molecules (≥10) measured on both a source chromatographic method and a target method, and you…
Use when you have a pre-trained DNN RT predictor (e.g., trained on METLIN SMRT with 80,038 experimental RTs) and need to adapt it to predict retention times in a new or external…
Use when you need to transfer retention time predictions from one chromatographic method to another, but have access to only a small number (≥10) of molecules with known retention…
Bayesian approach to statistical inference and decision-making. Covers prior specification, likelihood functions, posterior computation, conjugate priors, Markov chain Monte Carlo…
Use when you have completed one or more LC-MS gradient runs, extracted separation efficiency metrics from the resulting MS1 and MS2 spectra, and need to incorporate those real…
Use when uncertainty must be updated after new evidence: start with a prior or base rate, estimate how strongly the evidence fits each hypothesis, update to a posterior, and…
Bayesian inference methods including prior selection, MCMC, and model comparison
Use when performing Bayesian statistical analysis, building probabilistic models, or when the task involves prior specification, posterior inference, or predictive checks.
Skill para retornar estatísticas e dados sobre participantes do Big Brother Brasil de todas as edições, acompanhadas de um comentário que forneça mais contexto para o usuário.
Write benchmarks that do not lie, controlling warmup, isolation, and statistics so the number reflects the code and not the environment.
Audit government benefits and entitlement systems for fraud prevention, detection, and recovery capabilities.
Use when you have a pre-trained TCN spectrum encoder, annotated MS/MS spectra paired with ground-truth molecular formulas, and you want to train only the formula ranking and…
Calculate alignment statistics including sequence identity, conservation scores, substitution matrices, and similarity metrics.
Calculate alignment statistics including sequence identity, conservation scores, substitution matrices, and similarity metrics.
Generate alignment statistics using samtools flagstat, stats, depth, coverage, and mosdepth. Use when assessing alignment quality, calculating coverage, or generating QC reports.
Test whether two or more traits share a causal variant at a locus using Bayesian colocalization (coloc.abf, coloc.susie, HyPrColoc, moloc, eCAVIAR, SMR/HEIDI, PWCoCo, SharePro).
Estimate bivariate genetic correlation (rg) between traits from GWAS summary statistics or individual-level genotypes using cross-trait LDSC, HDL, LAVA, rho-HESS, GREML-bivariate,…
Fits structural equation models to GWAS summary statistics using GenomicSEM (Grotzinger 2019), including common-factor models, confirmatory factor models, ESEM, common-fa — from…
Estimate SNP heritability and partition it across functional annotations, cell types, and loci from GWAS summary statistics or individual-level genotypes.
Estimate causal effects between exposures and outcomes using genetic variants as instrumental variables with TwoSampleMR.
Estimate causal effects of an exposure on an outcome from GWAS summary statistics using genetic instruments.
Differential binding analysis using DiffBind. Compare ChIP-seq peaks between conditions with statistical rigor. Requires replicate samples.
Annotate ChIP-seq peaks to genomic features and genes using ChIPseeker. Assign peaks to promoters, exons, introns, and intergenic regions.
ChIP-seq quality control metrics including FRiP (Fraction of Reads in Peaks), cross-correlation analysis (NSC/RSC), library complexity, and IDR (Irreproducibility Discove — from…
Detect introgression and admixture between species or populations using Dsuite (Malinsky 2021 fast D-statistics), Patterson's D / ABBA-BABA test (Green 2010; Durand 2011) — from…
Statistical methods for calling hits in CRISPR screens. Covers MAGeCK, BAGEL2, drugZ, and custom approaches for identifying essential and resistance genes.
Cross-method decision tree for calling hits in pooled CRISPR screens. Catalogs statistical models (MAGeCK RRA, MAGeCK MLE, BAGEL2, drugZ, JACKS, Chronos, CERES), experimental…
Add p-value brackets, significance asterisks, and effect-size annotations to distribution plots using ggpubr, ggsignif, and statannotations with correct test selection (parametric…
Detects differential alternative splicing between conditions using rMATS-turbo (binomial LRT on junction counts), leafcutter (Dirichlet-multinomial GLM on intron clusters — from…