All authors
Claude Skills by tools-only
github.com/tools-only19,166 skills18 installs6,168 views
- 003 Name Skill 714a343bTranslate Python programs into equivalent Dafny code, preserving program semantics and ensuring the generated code is well-typed, executable, and verifiable. Use when the user asks to convert Python code to Dafny, port Python programs to Dafny, add formal verification to Python code, or create Dafny versions of Python algorithms with specifications.Votes: 0GitHub stars: 9
- 003 Name Skill 731047c8This skill automatically generates a comprehensive glossary of terms from a learning graph's concept list, ensuring each definition is precise, concise, distinct, non-circular, and free of business rules. Use this skill when creating a glossary for an intelligent textbook after the learning graph concept list has been finalized.Votes: 0GitHub stars: 9
- 003 Name Skill 7326fbc9Describe images and screenshots by viewing content with multimodal Read tool and documenting only visible elements. Activates on what's in this image, describe this screenshot, summarize this diagram, image summary, what does this screenshot show, explain this diagram, break down this chart. Handles UI screenshots, architecture diagrams, charts, photos, code screenshots, and terminal output. Never infers from filenames.Votes: 0GitHub stars: 9
- 003 Name Skill 741929bbStrategically route orphaned files and extract scattered tasksVotes: 0GitHub stars: 9
- 003 Name Skill 74be9c92Compare gene regulatory and co-expression networks between biological conditions to identify rewired regulatory relationships using DiffCorr. Detects gained, lost, and reversed gene-gene correlations between conditions. Use when comparing co-expression networks between disease vs control, treatment conditions, or developmental stages.Votes: 0GitHub stars: 9
- 003 Name Skill 76724879Build automated ETL (Extract-Transform-Load) pipelines for construction data. Process PDFs, Excel, BIM exports. Generate reports, dashboards, and integrate with other systems. Orchestrate with Airflow or n8n.Votes: 0GitHub stars: 9
- 003 Name Skill 7832ca27Installs and configures project infrastructure including MkDocs Material intelligent textbook templates, learning graph viewers, and skill tracking systems. Routes to the appropriate installation guide based on what the user needs to set up.Votes: 0GitHub stars: 9
- 003 Name Skill 7a8cb6c3This skill generates comprehensive chapter content for intelligent textbooks after the book-chapter-generator skill has created the chapter structure. Use this skill when a chapter index.md file exists with title, summary, and concept list, and detailed educational content needs to be generated at the appropriate reading level with rich non-text elements including diagrams, infographics, and MicroSims. (project, gitignored)Votes: 0GitHub stars: 9
- 003 Name Skill 7ab649e5Explains difficult concepts using master teaching methodologies (Feynman, Socratic, Cognitive Load, Dual Coding). Use when user asks to explain a concept, "I don't understand X", ELI5 requests, "what is X", "how does X work".Votes: 0GitHub stars: 9
- 003 Name Skill 7bb11b2bExtract and summarize core features, constraints, and priorities from requirement documents. Use when analyzing PRDs, RFCs, business requirements, user stories, epics, or any requirement documentation to identify must-have features, technical constraints, priority levels (P0/P1/P2/MoSCoW), and key decision points. Triggers when users ask to summarize, analyze, extract, or understand requirements from documents.Votes: 0GitHub stars: 9
- 003 Name Skill 7bfb55e1Summarize files by reading content, extracting key passages, and applying type-specific strategies. Activates on summarize this file, what's in this file, describe this codebase, file summary, analyze this file, tl;dr this file, what does this code do, explain this config, break down this script. Routes to strategies for code, config, data, documentation, markup, and binary files based on extension and word count.Votes: 0GitHub stars: 9
- 003 Name Skill 7c8eb33bIntelligent skill router and creator. Analyzes ANY input to recommend existing skills, improve them, or create new ones. Uses deep iterative analysis with 11 thinking models, regression questioning, evolution lens, and multi-agent synthesis panel. Phase 0 triage ensures you never duplicate existing functionality.Votes: 0GitHub stars: 9
- 003 Name Skill 7c91cc03Load gene expression count matrices from various formats including CSV, TSV, featureCounts, Salmon, kallisto, and 10X. Use when importing quantification results for downstream analysis.Votes: 0GitHub stars: 9
- 003 Name Skill 7d366629Infer gene regulatory networks and identify transcription factor regulons from single-cell RNA-seq data using pySCENIC. Discovers co-expression modules with GRNBoost2, prunes by cis-regulatory motif enrichment, and scores regulon activity per cell with AUCell. Use when identifying transcription factor regulons, scoring TF activity in single cells, or finding master regulators of cell identity.Votes: 0GitHub stars: 9
- 003 Name Skill 7db1a822Automate version bumping following semantic versioning and changelog management. Use when the user wants to bump a version, create a release, update the changelog, or tag a new version in a project using semver conventions and Keep a Changelog format.Votes: 0GitHub stars: 9
- 003 Name Skill 7e75ca7eCreate 4D construction simulations by linking BIM elements to project schedules. Generate time-based visualizations, sequence analysis, and construction phasing with Gantt integration.Votes: 0GitHub stars: 9
- 003 Name Skill 7f6a151bDelegate complex, long-running tasks to Manus AI agent for autonomous execution. Use when user says 'use manus', 'delegate to manus', 'send to manus', 'have manus do', 'ask manus', 'check manus sessions', or when tasks require deep web research, market analysis, product comparisons, stock analysis, competitive research, document generation, data analysis, or multi-step workflows that benefit from autonomous agent execution with parallel processing.Votes: 0GitHub stars: 9
- 003 Name Skill 7fabca72Delimits species boundaries from molecular data using distance-based (ASAP), tree-based (bPTP, GMYC), and coalescent (BPP) methods. Compares multiple delimitation results with delimtools. Use when delineating putative species from DNA barcoding data, resolving cryptic species complexes, or validating taxonomic assignments. Emphasizes multi-method consensus following integrative taxonomy best practice.Votes: 0GitHub stars: 9
- 003 Name Skill 801d35adTranslate natural-language requirements or structured specification documents into formal temporal logic properties (LTL, CTL, safety/liveness properties). Use when users need to formalize requirements for model checking, formal verification, or property specification. Handles embedded/real-time systems, hardware verification, concurrent systems, and reactive systems. Resolves ambiguities, asks clarifying questions when needed, and outputs machine-checkable formulas with explanations. Support...Votes: 0GitHub stars: 9
- 003 Name Skill 812ae3a5End-to-end multiome workflow for joint scRNA-seq + scATAC-seq analysis. Covers data loading, separate modality processing, and WNN integration with Seurat/Signac. Use when analyzing joint scRNA+scATAC data.Votes: 0GitHub stars: 9
- 003 Name Skill 836250f1Automatically infer loop invariants for code verification and correctness proofs. Use when analyzing loops to identify properties that hold throughout execution, generating assertions for verification, proving loop correctness, or documenting loop behavior. Supports Python, Java, C/C++, and language-agnostic analysis. Generates invariants as code assertions (assert statements). Triggers when users ask to infer invariants, find loop properties, generate loop assertions, prove loop correctness,...Votes: 0GitHub stars: 9
- 003 Name Skill 83888614Process drone survey data for construction sites. Generate orthomosaics, DEMs, point clouds, calculate volumes, track progress, and integrate with BIM models for comparison.Votes: 0GitHub stars: 9
- 003 Name Skill 84c7be5fMerge sample metadata with count matrices and add gene annotations. Use when preparing data for differential expression analysis or visualization.Votes: 0GitHub stars: 9
- 003 Name Skill 86f21187Work with sparse matrices for memory-efficient storage of count data. Use when dealing with single-cell data or large bulk RNA-seq datasets where most values are zero.Votes: 0GitHub stars: 9
- 003 Name Skill 87e653f4Markdown exporter for export Markdown text to DOCX, PPTX, XLSX, PDF, PNG, HTML, MD, CSV, JSON, JSONL, XML files, and extract code blocks in Markdown to Python, Bash,JS and etc files. Also known as the md_exporter skill.Votes: 0GitHub stars: 9
- 003 Name Skill 88f266a9Compare Hi-C contact matrices between conditions to identify differential chromatin interactions. Compute log2 fold changes, statistical significance, and visualize differential contact maps. Use when comparing Hi-C contacts between conditions.Votes: 0GitHub stars: 9
- 003 Name Skill 8efae08fCheck for `.claude/apple-design-context.md` before asking questions. Use existing context and only ask for information not already covered.Votes: 0GitHub stars: 9
- 003 Name Skill 8f5166bfAgent-first operating principles adapted from Harness Engineering philosophy. The 10 invariants that govern how agents work in this repository.Votes: 0GitHub stars: 9
- 003 Name Skill 9235756fNetwork flow extractor that analyzes pcap/pcapng files to identify outbound connections with automatic DNS hostname resolution. Use when you need to enumerate network destinations, identify what hosts a device communicates with, or map IP addresses to hostnames from packet captures.Votes: 0GitHub stars: 9
- 003 Name Skill 94d359b4Atlassian Jira expert for creating and managing projects, planning, product discovery, JQL queries, workflows, custom fields, automation, reporting, and all Jira features. Use for Jira project setup, configuration, advanced search, dashboard creation, workflow design, and technical Jira operations.Votes: 0GitHub stars: 9
- 003 Name Skill 9573ddc8Analyze 5000+ IFC and Revit projects at scale for patterns, benchmarks, and insights. Big data analysis for construction.Votes: 0GitHub stars: 9
- 003 Name Skill 95cf7107Markdown exporter for export Markdown text to DOCX, PPTX, XLSX, PDF, PNG, HTML, IPYNB, MD, CSV, JSON, JSONL, XML files, and extract code blocks in Markdown to Python, Bash,JS and etc files. Also known as the md_exporter skill.Votes: 0GitHub stars: 9
- 003 Name Skill 96bf0ac2End-to-end outbreak investigation from pathogen isolates to transmission networks. Orchestrates MLST typing, AMR surveillance, phylodynamic dating, and transmission inference with TransPhylo. Use when investigating disease outbreaks or tracking pathogen transmission chains.Votes: 0GitHub stars: 9
- 003 Name Skill 9a3b98e8Infers dynamic gene regulatory networks from bulk time-series expression data using Granger causality (statsmodels), dynGENIE3 (Extra-Trees on ODE-derived expression derivatives), and dynamic Bayesian networks (bnlearn). Identifies time-delayed regulatory relationships and tracks network rewiring across conditions. Use when inferring causal regulatory relationships from bulk temporal expression data or detecting TF influence propagation over time. Not for static co-expression networks (see ge...Votes: 0GitHub stars: 9
- 003 Name Skill 9a541f2c获取当前时间、格式化日期、计算日期差值、时区转换。 当用户询问时间、日期、时区相关问题时使用此技能。 关键词: 时间, 日期, 时区, 今天, 现在, 星期, 几点Votes: 0GitHub stars: 9
- 003 Name Skill 9bc6f6f4Guidance for SQL query optimization tasks. This skill should be used when optimizing slow SQL queries, improving database performance, or rewriting queries to be more efficient. Covers query plan analysis, benchmarking strategies, and database-specific optimization techniques.Votes: 0GitHub stars: 9
- 003 Name Skill 9cec1933PGA Tour, LPGA, and DP World Tour golf data via ESPN public endpoints — tournament leaderboards, scorecards, season schedules, golfer profiles/overviews, and news. Zero config, no API keys. Use when: user asks about golf scores, tournament leaderboards, scorecards, PGA Tour schedule, golfer profiles, golfer season stats, LPGA results, or golf news. Don't use when: user asks about other sports — use football-data (soccer), nfl-data (NFL), nba-data (NBA), wnba-data (WNBA), nhl-data (NHL), mlb-...Votes: 0GitHub stars: 9
- 003 Name Skill 9db5c6fdMap equivalent concepts between MIMIC-IV and eICU databases. Use for multi-database studies, external validation, or understanding structural differences between databases.Votes: 0GitHub stars: 9
- 003 Name Skill A1624df6Generate structured decision-making tools — step-by-step guides, bias checkers, scenario explorers, and interactive dashboards. Use when facing significant choices requiring systematic analysis. Supports multiple cognitive styles and output formats.Votes: 0GitHub stars: 9
- 003 Name Skill A17f8188Apple HIG guidance for selection and input controls including pickers, toggles, sliders, steppers, segmented controls, combo boxes, text fields, text views, labels, token fields, virtual keyboards, rating indicators, and gauges. Use this skill when the user says "picker or segmented control," "how should my form look," "what keyboard type should I use," "toggle vs checkbox," or asks about picker design, toggle, switch, slider, stepper, text field, text input, segmented control, combo box, lab...Votes: 0GitHub stars: 9
- 003 Name Skill A442f4a3Draw and export phylogenetic trees using Biopython Bio.Phylo with matplotlib. Use when creating publication-quality tree figures, customizing colors and labels, or exporting to image formats.Votes: 0GitHub stars: 9
- 003 Name Skill A6209cb8Access UniProt protein database for sequences, annotations, and functional information. Use when retrieving protein data, GO terms, domain annotations, or protein-protein interactions.Votes: 0GitHub stars: 9
- 003 Name Skill A7129ee9Send Google Chat messages via webhook — text, rich cards (cardsV2), threaded replies. Includes TypeScript types, card builder utility, and widget reference.Votes: 0GitHub stars: 9
- 003 Name Skill A73903d5Transform transcript analysis findings into actionable improvements. Triggers on "generate hooks from findings", "improve agent", "fix anti-pattern", "kaizen improvement", "generate hook proposals", or "create improvement plan". Provides templates for hook generation, agent prompt refinement, skill patches, CLAUDE.md updates, and script automation from analysis data.Votes: 0GitHub stars: 9
- 003 Name Skill A799861eThis skill generates comprehensive chapter content for intelligent textbooks after the book-chapter-generator skill has created the chapter structure. Use this skill when a chapter index.md file exists with title, summary, and concept list, and detailed educational content needs to be generated at the appropriate reading level with rich non-text elements including diagrams, infographics, and MicroSims. (project, gitignored)Votes: 0GitHub stars: 9
- 003 Name Skill A97bbc47Analyzes TLS certificates for issuer, SAN, and JARM fingerprintsVotes: 0GitHub stars: 9
- 003 Name Skill A98d99aeInitialize warehouse schema discovery. Generates .astro/warehouse.md with all table metadata for instant lookups. Run once per project, refresh when schema changes. Use when user says "/data:init" or asks to set up data discovery.Votes: 0GitHub stars: 9
- 003 Name Skill Aa108e49Explains difficult concepts using master teaching methodologies (Feynman, Socratic, Cognitive Load, Dual Coding). Use when user asks to explain a concept, "I don't understand X", ELI5 requests, "what is X", "how does X work".Votes: 0GitHub stars: 9
- 003 Name Skill Aad78aa3Azure Maps SDK for .NET providing location-based services: geocoding, routing, rendering, geolocation, and weather.Votes: 0GitHub stars: 9
- 003 Name Skill Aca5f999Deep single-page SEO analysis covering on-page elements, content quality, technical meta tags, schema, images, and performance. Use when user says "analyze this page", "check page SEO", or provides a single URL for review.Votes: 0GitHub stars: 9