Lean Proof To Code Translator - C Rust Wasm: Start asynchronous Lean proof export. Use when an agent needs lean proof to code translator c rust wasm, lean to...

Indexed by skills.sh from google-deepmind/science-skills

Design rigorous experiments for 3DGS research papers. Recommends datasets, baselines, metrics, ablation matrices. Targets CVPR/ICCV/ECCV/SIGGRAPH/TVCG.

Convert recent progress into a game-style achievement board with evidence, rarity, near-unlock targets, and hidden growth signals. Use for weekly or monthly...

Distribute advertising budget across channels and campaigns based on ROAS targets, funnel stage, and seasonality. Use when an ecommerce seller has a fixed mo...

Automated smart contract bug bounty hunting. Scans Immunefi/Code4rena targets with Slither static analysis, triages findings with local LLMs, and generates P...

Plan and run weekly batch content production for creators with clear priorities, time blocks, and output targets. Use when the user wants a repeatable conten...

Publish HTML or Markdown content to Bilibili — supports both 专栏 (article) and 小站 (tribee) targets. Handles login check, title input, content injection via ed...

Calculates multi-timeframe Binance Event Contract signals for BTCUSDT/ETHUSDT with detailed entries, targets, stop loss, confidence, and position sizing.

Autonomous bug bounty hunting with scope safety. Scans targets for subdomains, secrets, vulnerabilities. Uses Certificate Transparency logs, JS analysis, ent...

Exact-match bug bounty triage workflow for Code4rena, Sherlock, HackenProof, Cantina-style security reviews, Solidity/EVM targets, and vulnerability report p...

Commander (cEDH) Live-Beratung - Banlist, Tutor-Targets, Mana-Rechnung, Combo-Lines

Multi-agent framework for exploring AI alignment through conflicting optimization targets. Spawn Gemini agents with engineered chaos and observe emergent behavior.

One-time setup for ClawCoach AI health coaching. Configures your profile, goals, macro targets, dietary preferences, and coach personality.

Chrome UI automation skill for saving named on-screen targets and reusing them with reliable click/type actions. Use when browser automation is flaky, select...

OpenClaw plugin that scrubs private infrastructure details from outgoing messages. Regex-based redaction of RFC 1918 IPs, localhost ports, SSH targets, and h...

Set and manage price alerts for any cryptocurrency pair and receive instant notifications when targets are reached.

Structured meal planning — calorie targets, macro calculations, meal timing, and goal-specific diet protocols.

Write a disaster recovery plan for a service or system — covering RPO/RTO targets, failure scenario runbooks, backup and restore procedures, DR testing caden...

Calculate optimal discount levels based on unit cost, conversion targets, and inventory velocity so promos move product without destroying margin.

Plan and manage the finances of a solopreneur business. Use when creating budgets, forecasting revenue and expenses, building a P&L, planning for cash flow, setting financial targets, or preparing for financial decision-making. Covers budgeting frameworks, cash flow management…

Find likely buyers, wholesale prospects, procurement targets, and commerce demand-side opportunities for ecommerce and trade workflows. Use when the user wan...

Find business partners, channel partners, distribution partners, collaboration targets, and strategic allies for ecommerce growth. Use when the user wants he...

Find wholesale buyers, retail buyers, importers, procurement targets, and volume-purchase opportunities for ecommerce and trade products. Use when the user w...

Perform a security audit of a Go codebase. Targets SSH servers, BBS systems, API services, and CLI tools. Finds race conditions, goroutine leaks, missing err...

Set, track, and cascade measurable ecommerce growth targets across revenue, traffic, conversion, and retention — so your team executes toward the same number.

Techniques for writing effective fuzzing harnesses across languages. Use when creating new fuzz targets or improving existing harness code.

Set, track, and review personal health goals including weight loss, fitness targets, dietary changes, and wellness habits. Use when users want to establish h...

Track daily water intake, set hydration goals, and get drink reminders. Use when logging water, setting targets, or reviewing weekly intake trends.

Generates detailed IT disaster recovery plans with RTO/RPO targets, failover procedures, backup strategies, communication plans, testing schedules, and cost...

Detects targets such as people, vehicles, non-motorized vehicles, and pets within target areas; supports batch image analysis, suitable for outdoor surveilla...

Track, analyze, and report business KPIs with targets, status flags, trend analysis, and root cause prompts using configurable JSON files.

Use when the user asks to "run a launch retro / post-mortem", "compare launch results vs targets by channel", or "decide what to keep or kill for the next la...

Find B2B leads and write outreach messages for manufacturing/OEM agents. Targets indie beauty brands, skincare companies, and consumer product brands that ne...

MANDATORY ENTRY POINT — ALL life science queries enter here without exception. Activate when the query involves any life science entity: biological targets (...

Fitness accountability for the Lofy AI assistant — workout logging from natural language, meal tracking with calorie/protein estimates, PR detection with Epley formula, gym reminders based on weekly targets, and progress reports. Use when logging workouts, meals, tracking fitn…

Scaffold, build, and package SwiftPM-based macOS apps without an Xcode project. Use when you need a from-scratch macOS app layout, SwiftPM targets/resources, a custom .app bundle assembly script, or signing/notarization/appcast steps outside Xcode.

Advanced text-based integration suite for Palantir Maven Smart System (MSS). Manages targets, Kanban workflow, CDE risk assessment, SIGINT intelligence fusio...

Megasquirt ECU tuning and calibration via TunerStudio, covering VE table, ignition timing, AFR targets, sensor calibration, accel enrichment, boost, launch c...

iOS application development guide covering UIKit, SnapKit, and SwiftUI. Includes touch targets, safe areas, navigation patterns, Dynamic Type, Dark Mode, acc...

Deep responsive design workflow—breakpoints, content priority, touch targets, typography, performance on mobile networks, and testing on real devices. Use wh...

Use when work targets NVIDIA GPUs for deep learning training, inference, distributed execution, CUDA/Triton kernels, or AI infra tuning. Enforces GPU-aware c...

Build evidence-graded compound–target–disease network-pharmacology hypotheses for natural products, herbal medicines, formulae, and small molecules using live SciMiner tools plus public life-science evidence. Use when an agent must curate compounds, predict or verify targets, …

Scans specified network targets and ports using nmap with options for speed, timeout, host limits, and exclusions, returning detailed JSON results.

Generates four-tier network toxicology and molecular docking research plans from a toxicant and disease input, detailing targets, pathways, docking, workflow...

Audit Skill() refs; detect hubs, isolates, and dangling targets

Generates Makefiles with testing, linting, formatting, and automation targets

Plan and orchestrate authorized Nmap host discovery, port and service enumeration, NSE profiling, and reporting artifacts for in-scope targets.

Plan and orchestrate authorized Nmap host discovery, port and service enumeration, NSE profiling, and reporting artifacts for in-scope targets.

Perform network reconnaissance and port scanning with Nmap to find open ports, detect services, identify vulnerabilities, and enumerate targets accurately.

Search clinical trial databases similar to ClinicalTrials.gov. Use this skill whenever the user asks about clinical trials, drug trials, indications, targets...

Activate when: user says 'set OKRs', 'write objectives and key results', 'our goals aren't measurable', 'teams are hitting targets but the business isn't mov...

Deep SLO/SLI workflow—user-centric SLIs, SLO targets and windows, error budgets, multi-window burn alerts, and policy when budget is exhausted. Use when defi...

Design and manage OpenClaw GEO content operations including sources, clusters, tasks, publish targets, artifacts, receipts, and visibility analytics beyond s...

Automatic retry with exponential backoff and fallback targets. Use this skill when: 1. You need resilient task submission with automatic retry logic 2. You w...

Terminal-first project bootstrapper and workspace context manager. Use when the user asks for /project-style workflows: detect current project, read project context/brief, run standardized targets (build/test/lint/deploy), init a .project bundle via plan/apply, manage artifact…

Use when safely removing dead frontend code, unused exports, stale components, obsolete routes, unused dependencies, or cleanup targets found by tools such a...

Track autonomous driving and Robotaxi sector intelligence with Pony.ai, Waymo, Tesla Robotaxi, and Baidu Apollo as core targets. Generates twice-daily increm...

Orchestrate SAAS factory operations - spawn subagents, track projects, manage revenue targets, and coordinate development workflows. Use when building a SAAS...

Track SAAS revenue, MRR growth, customer metrics, and profitability. Use to monitor $1000+ MRR targets, identify optimization opportunities, and keep SAAS pr...

Page-level keyword optimization using Ahrefs MCP data and GEO principles. Targets both traditional search (Google) and AI-powered search (ChatGPT, Perplexity...

Takes screenshots of targets using Playwright and performs visual/contextual analysis for potential vulnerabilities.

Automated security scanning and vulnerability detection for web applications, APIs, and infrastructure. Use when you need to scan targets for vulnerabilities, check SSL certificates, find open ports, detect misconfigurations, or perform security audits. Integrates with nmap, n…

SEO content brief creation with keyword research, search intent analysis, and content structure. Covers SERP analysis, heading hierarchy, word count targets,...

Control Shelly BluTRV thermostats and H&T sensors locally via RPC with cloud fallback for temperature reading and setting heater targets in specified rooms.

Calculate SLO/SLA error budgets, allowed downtime, burn rates, and uptime metrics. Use when asked about SLO targets, error budgets, uptime calculations, nine...

Run local script to analyze stock fundamentals (P/E, EPS, margins, debt, ROE, analyst targets) using yfinance. Use exec tool to run: uv run /root/.openclaw/w...

Plan subtitle specs before transcribing or burning captions — CPS limits, line breaks, timing gaps, SRT/VTT rules, SDH cues, and platform targets for readabl...

Score the novelty of biological targets through literature mining and trend analysis

Aggregates and analyzes threat intelligence data to check targets against known threats and security risks.

Generates condensed album highlights based on specified keywords or targets. It extracts specific target segments from long videos and compiles them into an...

Create a practical linen closet shelf map with towel zones, quantity targets, label text, reset cadence, and restock notes without making medical hygiene cla...

Real-time trade signals with executable Buy/Sell/Hold recommendations for stocks. Use when asked about trading decisions, stock analysis, technicals, buy/sell calls, earnings plays, price targets, analyst ratings, entry/exit points, portfolio rebalancing, or any investment dec…

Real-time trade signals with executable Buy/Sell/Hold recommendations for stocks. Use when asked about trading decisions, stock analysis, technicals, buy/sell calls, earnings plays, price targets, analyst ratings, entry/exit points, portfolio rebalancing, or any investment dec…

Use this skill whenever the user needs to manage VMware storage — datastores, iSCSI targets, and vSAN clusters. Directly handles: browse datastores, scan for...

Turn warehouse process notes, bottleneck observations, labor constraints, slotting issues, and service targets into a practical flow optimization brief with...

Automates customized waste collection reminders with multiple container types, schedules, targets, and confirmation via direct API messaging.

AWS ECS production health monitoring with CloudWatch log analysis — monitors ECS service health, ALB targets, SSL certificates, and provides deep CloudWatch...

Broadcast a single memory note to multiple AI-agent workspaces in one shot, upserting into MEMORY.md / AGENTS.md / TOOLS.md / USER.md across all targets. Pur...

Use this skill when the user is doing hands-on NVMe-over-Fabrics storage-target work on a BlueField DPU or ConnectX NIC with DOCA STA — standing up a doca_sta DOCA Core context that accelerates the target-side NVMe-oF data path over RDMA, defining doca_sta_subsystem targets (N…

Manage a stock crypto watchlist with target and stop alerts using live AISA price checks. Use when: the user wants to add watchlist items, set targets, track...

Run the full DEFT AOI improvement loop for NVIDIA TAO VisualChangeNet / ChangeNet PCB inspection models: baseline evaluate, RCA, Cosmos AnomalyGen / AMP synthetic defects, k-NN mining, retraining, and deployment gating until FAR / recall KPI targets are met. Use for prompts li…

Use this skill when the user is doing hands-on NVMe-over-Fabrics storage-target work on a BlueField DPU or ConnectX NIC with DOCA STA — standing up a doca_sta DOCA Core context that accelerates the target-side NVMe-oF data path over RDMA, defining doca_sta_subsystem targets (N…

Run the full DEFT AOI improvement loop for NVIDIA TAO VisualChangeNet / ChangeNet PCB inspection models: baseline evaluate, RCA, Cosmos AnomalyGen / AMP synthetic defects, k-NN mining, retraining, and deployment gating until FAR / recall KPI targets are met. Use for prompts li…