Python agent skills, page 79

Automatically generate TLA+ specifications from source code (C/C++, Python) for formal verification of distributed systems.

ArabelaTso/Skills-4-SE

Automatically extract abstract finite-state models in SMV/NuSMV format from source code (C/C++, Java, Python) for formal model checking.

ArabelaTso/Skills-4-SE

Python Project Scaffolding workflow skill. An agent skill from diegosouzapw/awesome-omni-skills.

diegosouzapw/awesome-omni-skills

Handles Memos API usage: crafting curl/python requests with Authorization Bearer tokens, paginating with pageSize/pageToken, using filter (AIP-160 syntax), updateMask updates, and mapping common…

OpenMinis/MinisSkills

A skill your agent uses when auditing Docker images in this project for CVEs, base image staleness, or remediation recommendations — covers all four TUI images (Go, Python, Kotlin, C)

Habitat-Thinking/ai-literacy-superpowers

Validate and maintain module registry. An agent skill from htlin222/meta-pipe.

htlin222/meta-pipe

Guide for translating Python collection operations to idiomatic Scala.

benchflow-ai/skillsbench

Guide for translating Python code to functional Scala style.

benchflow-ai/skillsbench

Guide for writing idiomatic Scala when translating from Python.

benchflow-ai/skillsbench

Guide for mapping common Python libraries and idioms to Scala equivalents.

benchflow-ai/skillsbench

Guide for translating Python classes, inheritance, and object-oriented patterns to Scala.

benchflow-ai/skillsbench

Reference guide for translating Python syntax constructs to Scala equivalents.

benchflow-ai/skillsbench

Write and evaluate effective Python tests using pytest. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench

Transit Least Squares (TLS) algorithm for detecting exoplanet transits in light curves.

benchflow-ai/skillsbench

Use cli-web-gh-trending to answer questions about GitHub Trending — trending repositories, trending developers, filtering by programming language (python, javascript, typescript, rust, go, etc.)…

ItamarZand88/CLI-Anything-WEB

Analyzes captured HTTP traffic, designs the CLI architecture, and implements the Python CLI package (Phase 2): parse raw-traffic.json, identify the protocol, write api-spec.json, scaffold from…

ItamarZand88/CLI-Anything-WEB

Annotate CNVs with genes, pathways, and clinical significance.

FreedomIntelligence/OpenClaw-Medical-Skills

Statistical methods for calling hits in CRISPR screens. An agent skill from FreedomIntelligence/OpenClaw-Medical-Skills.

FreedomIntelligence/OpenClaw-Medical-Skills

Detects differential alternative splicing between conditions using rMATS-turbo (BAM-based) or SUPPA2 diffSplice (TPM-based).

FreedomIntelligence/OpenClaw-Medical-Skills

Reads, writes, and converts molecular file formats (SMILES, SDF, MOL2, PDB) using RDKit and Open Babel.

FreedomIntelligence/OpenClaw-Medical-Skills

Analyzes alternative splicing at single-cell resolution using BRIE2 for probabilistic PSI estimation or leafcutter2 for cluster-based analysis with NMD detection.

FreedomIntelligence/OpenClaw-Medical-Skills

Assesses RNA-seq data quality for splicing analysis including junction saturation curves, splice site strength scoring, and junction coverage metrics using RSeQC.

FreedomIntelligence/OpenClaw-Medical-Skills

De novo motif discovery and known motif enrichment analysis using HOMER and MEME-ChIP.

FreedomIntelligence/OpenClaw-Medical-Skills

Query gnomAD for population allele frequencies to assess variant rarity.

FreedomIntelligence/OpenClaw-Medical-Skills

Visualize copy number profiles, segments, and compare across samples.

FreedomIntelligence/OpenClaw-Medical-Skills

JACKS (Joint Analysis of CRISPR/Cas9 Knockout Screens) for modeling sgRNA efficacy and gene essentiality.

FreedomIntelligence/OpenClaw-Medical-Skills

Statistical testing for differentially abundant proteins between conditions.

FreedomIntelligence/OpenClaw-Medical-Skills

A skill your agent uses when BACnet Who-Is, ReadProperty, fieldbus OT, MS/TP, or MQTTS ingest fails on a LAN bench or edge.

bbartling/open-fdd

Molecular biology toolkit: sequence manipulation, FASTA/GenBank/PDB I/O, NCBI Entrez, BLAST automation, pairwise/MSA alignment, Bio.PDB, phylogenetic trees.

jaechang-hits/SciAgent-Skills

JASPAR 2024 TF binding profiles via REST API and pyJASPAR. An agent skill from jaechang-hits/SciAgent-Skills.

jaechang-hits/SciAgent-Skills

Build, read, validate, modify SBML biological network models via the libSBML Python API.

jaechang-hits/SciAgent-Skills

Register, segment, filter, resample 3D medical images (MRI, CT, microscopy) via SimpleITK Python; DICOM, NIfTI, multi-modal.

jaechang-hits/SciAgent-Skills

Python library for single-particle tracking (SPT) in video microscopy via the Crocker-Grier algorithm.

jaechang-hits/SciAgent-Skills

Predict RNA secondary structure, MFE folding, base-pair probabilities, RNA-RNA interactions via ViennaRNA Python bindings.

jaechang-hits/SciAgent-Skills

Expert patterns for Azure Functions development including isolated worker model, Durable Functions orchestration, cold start optimization, and production patterns.

aiskillstore/marketplace

Use as the lead skill when designing, writing, or reviewing focused unit tests for isolated Python behavior without real I/O or competing concurrent operations

dzhalaevd/Donatello

Multi-language Workers development with Rust, Python, and WebAssembly.

secondsky/claude-skills

Guide developers through setting up development environments with proper tools, dependencies, and configurations

aiskillstore/marketplace

A skill your agent uses when a loop needs scholarly literature — paper discovery, novelty checks, full-text snippet search, citation-graph traversal, single-paper reads, or experimental-result…

gaasher/Agent-Loop-Skills

Adjust academic paper formatting and convert between DOCX/LaTeX/Markdown when you need to meet a journal or school template requirement.

aipoch/medical-research-skills

Best practices for building AI agents with Google's Agent Development Kit (ADK) in Python, covering agent design, tools, sessions, memory, artifacts, evaluation, and deployment.

Mindrally/skills

Set up, install, and configure CONFIDE local de-identification — installs Python deps (natasha, scrubadub, phonenumbers, pymorphy2), ensures Ollama + pulls the default qwen2.5:3b model, detects…

glebis/claude-skills

Review and send Telegram response drafts, manage follow-ups for unanswered outbound messages.

glebis/claude-skills

Build GraphRAG retrieval pipelines on Neo4j using the neo4j-graphrag Python package (v1.22.0+).

neo4j-contrib/neo4j-skills

Docker/K8s: Dockerfile, multi-stage, compose, manifests, Helm.

softspark/ai-toolkit

Builds production MCP servers via 4-phase methodology: research, implement, test, evaluate.

softspark/ai-toolkit

Testing strategy: pyramid, AAA, mocks/fakes/stubs, flaky tests, coverage.

softspark/ai-toolkit

Generate retro pixel-text animated GIFs for Slack, Teams, or a PR comment — scrolling marquees, heartbeat pulses, confetti parties, twinkling sparkles — from a bundled pure-stdlib Python script (no…

mohitagw15856/pm-claude-skills