Verify correctness of compiler optimizations using formal methods
This skill should be used when the user asks to "validate a plugin", "optimize plugin", "check plugin quality", "review plugin structure", or "run plugin optimizer".
This skill should be used when the user asks to consult Codex/GPT for planning or code review, or wants a second opinion on code.
Skill for orbital debris risk assessment and mitigation planning
Skill for integrating with Open Science Framework workflows
Over-the-air software update system design and implementation
Convert a structured Markdown deck source into a styled Google Slides presentation. Use this skill when the user has a slide.md file (or wants to write one) and wants Google…
Sterile barrier system validation planning skill per ISO 11607
여러 웹 페이지의 스크린샷을 찍어 시각적으로 동일한지 비교. 페이지 비교, 디자인 비교, 시각적 차이 확인 시 사용.
PandaDoc document automation for proposals and contracts
Local speech-to-text via Handy app (push-to-talk) and NeMo CLI scripts. Parakeet V3: 25 languages, auto-detection, ~30x realtime on M4 Max, 6% WER.
Trajectory planning and motion control algorithm development
Create context handoff when pausing work mid-phase — from NafisRayan/100x-Agent-Toolkit
Numerical methods for partial differential equations
Converts PDF files to Markdown using Microsoft's markitdown package. Use this skill when the user asks to convert a PDF to Markdown, extract text from a PDF, or read/parse PDF…
Skill for simulating peer review feedback on manuscripts
Diagnose Pegasus workflow failures from error messages and logs
SDK performance benchmarking and regression detection
Identity layers for characters — WHO they are vs WHAT they do
Generate user persona documents and empathy maps from templates
PharmGKB pharmacogenomics annotation skill for drug-gene interaction assessment
Build or modify a Pi extension. Use this whenever the user wants a custom slash command, extension tool, lifecycle hook, context filtering, session persistence, UI prompt,…
PII detection and redaction utilities for privacy-compliant conversational AI
Deep foundation capacity analysis skill for driven piles and drilled shafts
Skill for piping system stress analysis per ASME B31
Analyze pivot decisions with evidence-based frameworks
ALWAYS use this skill when the user is new to PKA, asks for a tour, walkthrough, tutorial, onboarding, or says they don't know how to use their PKA system.
ALWAYS use this skill when the user mentions topic wikis, synthesis pages, knowledge synthesis, maintaining understanding on a topic, creating or updating a wiki page, ingesting a…
Expert skill for FPGA place and route optimization and physical implementation
Create phases to close all gaps identified by milestone audit — from NafisRayan/100x-Agent-Toolkit
Manage SDK plugin discovery and registration
Use when: 需要规划迭代内容、制定迭代排期、明确迭代优先级、从需求到排期的落地 Do NOT use when: 迭代已由团队自行规划、无需系统化管理
Use when: 需要生成数据报告、收集整理用户反馈、进行数据驱动的分析汇报 Do NOT use when: 数据已由BI系统自动生成、无需人工分析
Use when: 迭代结束后需要复盘总结经验教训、改进团队流程、记录改进行动项 Do NOT use when: 迭代尚未结束、团队不需要正式复盘
Set up, integrate, and DEBUG Polar (polar.sh) usage-based / metered billing the right way — events ingestion, meters, metered prices, checkout, webhooks, and free-credit…
Manage corporate policy lifecycle from drafting through compliance
Generates portfolio dashboards with visualizations, trends
Complete messaging system — letters, texts, goals, rewards, attachments
Be conservative in what you send, liberal in what you accept.
FPGA power estimation and optimization skill for low-power design
按優先順序顯示 Issue 清單。「顯示 Issue」「開著的 Issue？」「Issue 清單」等觸發。
按優先順序顯示 PR 清單。「顯示 PR」「PR 清單」「開著的 PR？」「待合併的 PR？」等觸發。
Use this skill when creating or updating a pull request, updating a PR description, or generating PR content from commits and diffs.
Skill for pressure vessel design and analysis per ASME BPVC
Browse and install pre-built Go CLIs for popular APIs from the catalog
Publish a generated CLI to the printing-press-library repo
Procurement process automation skill for P2P workflow optimization
Token-efficient prompt compression techniques for cost optimization
Prompt injection detection and prevention for secure LLM applications
Assist in constructing algorithm correctness proofs
Analyze and restructure mathematical proofs for clarity and completeness
Network protocol capture, analysis, and fuzzing capabilities
K-lines as semantic activation — the name activates the tradition.
Biomedical literature mining using PubMed/MEDLINE for systematic review support
Checks whether complexity is pushed to callers or absorbed by implementations. Use when callers must do significant setup, handle errors the module could resolve or configure…
Minimum-weight perfect matching decoder skill for surface code error correction
Executa validação de qualidade com 11 fases de QA e tiers de complexidade. Use quando precisar validar qualidade de código, rodar QA checks, ou garantir que o código está pronto…
Qdrant vector database with filtering, payloads, and quantization support
QIIME2 microbiome analysis skill for 16S rRNA profiling and diversity analysis
Qubit mapping and routing skill for hardware topology optimization