Claude Skills by majiayu000

プロジェクト状況を網羅的にチェックし、追加すべき機能や改善すべき点を洗い出すスキル。PRD/設計/実装の整合性チェック、機能ギャップ分析、改善提案レポートを出力。「プロジェクトを分析して」「ギャップ分析をして」「コードレビューして」などのリクエストに使用。実装は行わず分析と提案のみ。

Problem-solving strategies for proof theory in mathematical logic

Comprehensive systematic search using MeSH and synonyms. Triggers: 系統性搜尋, 完整搜尋, 文獻回顧, systematic search, comprehensive, MeSH expansion, 同義詞

R statistical analysis for publication-ready sociology research. Guides you through phased workflows for DiD, IV, matching, panel methods, and more. Use when doing quantitative analysis in R for academic papers.

Expert-level R statistical computing, data analysis, and visualization

Reactome pathway enrichment using ReactomePA package. Use when analyzing gene lists against Reactome's curated peer-reviewed pathway database. Performs over-representation analysis and GSEA with visualization and pathway hierarchy exploration.

Use this skill when when asked to read an arxiv paper given an arxiv URL

Read and analyze Inspect AI evaluation log files using the Python API. Extract samples, messages, events, and metrics from .eval files.

Conduct comprehensive sentiment analysis of Reddit discussions for any product, brand, company, or topic. Analyzes what people like, dislike, and wish were different with structured output summaries.

Build predictive models using linear regression, polynomial regression, and regularized regression for continuous prediction, trend forecasting, and relationship quantification

Use when you need to research, analyze, and plan technical solutions that are scalable, secure, and maintainable.

Use when you need to research, analyze, and plan technical solutions that are scalable, secure, and maintainable.

Use when you need to research, analyze, and plan technical solutions that are scalable, secure, and maintainable.

Use when current web info needed to avoid broken implementations

Use when you need to research, analyze, and plan technical solutions that are scalable, secure, and maintainable.

AI-powered portfolio risk management and optimization. Use when sizing positions, managing portfolio allocation, calculating risk metrics (VaR, Sharpe), rebalancing, or implementing defensive strategies. Covers: position sizing, correlation analysis, drawdown management, dynamic rebalancing, kill switches.

Comprehensive metabolic landscape analysis pipeline for scRNA-seq data. This is an all-in-one process group performing complete metabolic pathway analysis including expression imputation, feature selection, pathway activity calculation, and heterogeneity analysis. Based on methodology from Xiao et al.

Expert web researcher using advanced search techniques and

Apply structured, reflective problem-solving for complex tasks requiring multi-step analysis, revision capability, and hypothesis verification. Use for complex problem decomposition, adaptive planning, analysis needing course correction, problems with unclear scope, multi-step solutions, and hypothesis-driven work.

Apply structured, reflective problem-solving for complex tasks requiring multi-step analysis, revision capability, and hypothesis verification. Use for complex problem decomposition, adaptive planning, analysis needing course correction, problems with unclear scope, multi-step solutions, and hypothesis-driven work.

Apply step-by-step analysis for complex problems with revision capability. Use for multi-step reasoning, hypothesis verification, adaptive planning, problem decomposition, course correction.

Analisa sessoes do Claude Code para extrair learnings e persistir conhecimento. Le arquivos de sessao em ~/.claude/projects/ e extrai decisoes, bloqueios e resolucoes. Invocado automaticamente pelo gate-check e orchestrator. Use quando: fim de fase, retrospectiva, analise de progresso.

Analisa sessoes do Claude Code para extrair learnings e persistir conhecimento. Le arquivos de sessao em ~/.claude/projects/ e extrai decisoes, bloqueios e resolucoes. Invocado automaticamente pelo gate-check e orchestrator. Use quando: fim de fase, retrospectiva, analise de progresso.

Analyze claude-trace JSONL files for session health, patterns, and actionable insights. Use when debugging session issues, understanding token usage, or identifying failure patterns.

Generates comprehensive cluster statistics and visualizations for Seurat objects, including dimension reduction plots, gene expression visualizations, cluster quality metrics, and clustree diagrams. This process is essential for exploring and validating clustering results.

Research and develop semantic theories using ModelChecker with Z3 SMT solver. Define operators, adjust frame constraints, create examples, run tests, and report findings. Invoke with /mc or when working with model-checker, semantic theories, or Z3 constraints.

Research Python/Z3 patterns and APIs for semantic theory development. Invoke for Python-language research tasks.

Statistical analysis for metabolomics data. Covers univariate testing, multivariate methods (PCA, PLS-DA), and biomarker discovery. Use when identifying differentially abundant metabolites or building classification models.

Perform statistical hypothesis testing, regression analysis, ANOVA, and t-tests with plain-English interpretations and visualizations.

Statistical models library for Python. Use when you need specific model classes (OLS, GLM, mixed models, ARIMA) with detailed diagnostics, residuals, and inference. Best for econometrics, time series, rigorous inference with coefficient tables. For guided statistical test selection with APA reporting use statistical-analysis.

> Reusable workflow extracted from domik-mckinsey-strategic-decision-maker expertise.

Stress-test plans, proposals, and strategies. Use for pre-mortems, assumption audits, risk registers, evaluating business ideas, identifying failure modes, or when you need devil's advocate analysis before committing resources.

Query STRING API for protein-protein interactions (59M proteins, 20B interactions). Network analysis, GO/KEGG enrichment, interaction discovery, 5000+ species, for systems biology.

Query STRING API for protein-protein interactions (59M proteins, 20B interactions). Network analysis, GO/KEGG enrichment, interaction discovery, 5000+ species, for systems biology.

Query STRING API for protein-protein interactions (59M proteins, 20B interactions). Network analysis, GO/KEGG enrichment, interaction discovery, 5000+ species, for systems biology.

Query STRING API for protein-protein interactions (59M proteins, 20B interactions). Network analysis, GO/KEGG enrichment, interaction discovery, 5000+ species, for systems biology.

Query STRING API for protein-protein interactions (59M proteins, 20B interactions). Network analysis, GO/KEGG enrichment, interaction discovery, 5000+ species, for systems biology.

Analyze student git activity, lab submissions, and project work for software engineering courses. Use when asked to "update student analysis", "check student activity", "analyze the class", or when working with student rosters and git repositories. Handles inconsistencies in student behavior like multiple usernames, name variations, and missing data.

Analyze survey responses with Likert scale analysis, cross-tabulations, sentiment scoring, and frequency distributions with visualizations.

Taxonomic classification of ASVs using reference databases like SILVA, GTDB, or UNITE. Covers naive Bayes classifiers (DADA2, IDTAXA) and exact matching approaches. Use when assigning taxonomy to ASVs after DADA2 amplicon processing.

Taxonomic classification of ASVs using reference databases like SILVA, GTDB, or UNITE. Covers naive Bayes classifiers (DADA2, IDTAXA) and exact matching approaches. Use when assigning taxonomy to ASVs after DADA2 amplicon processing.

Use to manage pricing, packaging, and approval workflows for renewal

Generate weekly CEO briefing reports from activity logs. Use when creating executive summaries, analyzing system performance, reviewing weekly metrics, or troubleshooting report generation. NOT when processing individual tasks (use orchestrator skill).

Expert in lease arbitration agreements that create binding dispute resolution when parties cannot agree on renewal rent or fair market value. Use when drafting renewal option clauses with rent arbitration, negotiating arbitrator selection procedures, analyzing baseball vs conventional arbitration, structuring rent determination frameworks, evaluating market rent disputes, or creating enforceable arbitration provisions for lease renewals. Key terms include renewal rent, fair market value, arbi...

Expert in lease-to-lease comparison and deviation analysis. Use when comparing lease amendments to originals, analyzing competing offers, benchmarking against precedents, or identifying deal term variations. Key terms include lease comparison, amendment analysis, offer comparison, precedent deviation, market benchmarking, competitive analysis

Traffic-First opportunity discovery. KILL funnel filters ideas by traffic channel, demand, competition, revenue, interest, MVP-ability. Outputs one idea + one channel recommendation.

Use to inspect qualification coverage across Metrics, Economic buyer,

Property owner negotiations for acquisitions (specialized from negotiation-expert). Calculates BATNA, ZOPA, optimal settlement range, assesses holdout risk (0-30 scale), generates concession strategies. Use for utility easements, transit corridors, land assembly, expropriation settlements. Key terms include BATNA, ZOPA, holdout risk, settlement range, owner psychology

Expert in understanding and responding to community opposition including objection classification (legitimate vs. misinformation vs. fundamental vs. hidden motivations), evidence-based response strategies, and coalition building. Use when managing organized opposition, distinguishing tactical objections from legitimate concerns, developing mitigation measures, or building supporter coalitions. Key terms include NIMBY, objection classification, mitigation measures, impact studies, coalition bu...

Expert in analyzing and responding to tenant objections in commercial lease negotiations. Use when tenant objects to rent as above market, requests higher TI allowance, demands more free rent, pushes back on security deposit or personal guarantee, claims market is soft, cites competitive properties, requests shorter term or early termination rights, or challenges any lease provision. Expert in classifying objection types (financial, operational, market-based, risk-based), distinguishing legit...