Search Mathlib for lemmas by type signature pattern
Essential patterns, idioms, and gotchas for writing Nushell code. Use when writing Nushell scripts, functions, or working with Nushell's type system, pipelines, and data structures. Complements...
Use when working with Atlassian CLI (acli) to install, authenticate, and manage Jira Cloud work items/issues from the command line: search (JQL), view, create, edit, assign, transition, comment,...
Manages Fizzy boards, cards, steps, comments, and reactions. Use when user asks about boards, cards, tasks, backlog or anything Fizzy.
Manage Linear issues and workflows. Use for viewing, creating, and updating Linear issues, and integrating with development workflow.
|
Calculate distances between geographic coordinates, find nearby points, and compute travel distances. Use for logistics, delivery routing, or location analysis.
Call the dSIPRouter REST API using the Postman collection (curl + jq).
Manage deals, contacts, organizations, and activities in Pipedrive CRM. Use when user asks about deals, sales, contacts, pipeline, or Pipedrive.
Execute external CLI AIs as isolated sub-agents for task delegation, parallel processing, and context separation. Use when delegating complex multi-step tasks, running parallel investigations,...
Generate standalone skills from MCP servers. Use when users want to create a reusable skill for an MCP service. Triggers on "create skill for MCP", "generate MCP skill", "make skill from MCP server".
Query Find My locations and battery status for family devices via iCloud.
Monitor errors and issues from Sentry. Supports multiple organizations. Use when user asks about errors, exceptions, issues, or wants to check Sentry.
Expert guidance for using the Orka3 CLI to manage macOS virtualization infrastructure. Use when users need to work with Orka VMs, images, nodes, or cluster resources through natural language...
Creates Scheduled Jobs in Windows Task Scheduler
Execute Hugging Face Hub operations using the `hf` CLI. Use when the user needs to download models/datasets/spaces, upload files to Hub repositories, create repos, manage local cache, or run...
A Claude by Anthropic skill to transform AI-generated markdown from "close enough" to "perfect." It provides comprehensive guidance for creating GitHub Flavored Markdown (GFM) that passes...
Send and read WhatsApp messages via Kapso Meta proxy, manage templates (CRUD/send), and upload media. Use when sending messages, creating templates, or reading inbox history.
Randomly select winners and participants fairly. Implements randomized selection with optional weighting and fairness verification.
|