83,201 skills sorted by stars.
Debug proof failures using counterexamples from Nitpick (Isabelle) or QuickChick (Coq) to identify specification errors,...
Explain why counterexamples violate specifications by analyzing formal specifications (temporal logic, invariants, pre/p...
Generate concrete counterexamples when formal verification, assertions, or specifications fail. Use this skill when debu...
This skill should be used when the user asks to "check my preferences", "show memory", "run /buff:counterfeit", "what do...
Contrapuntal writing and analysis covering species counterpoint, fugue structure, canon types, and imitative techniques....
Use AgentPMT external API to run the published workflow Country Data Snapshot with wallet signatures and credits.
Load gene expression count matrices from various formats including CSV, TSV, featureCounts, Salmon, kallisto, and 10X. U...
Generate weekly relationship health report showing affect ratios and repair rates for both partners across 3 weeks (curr...
Interacting dynamical systems
OPTIONAL: Analyzes TaskMaster subtasks to determine if they are tightly coupled (share code/models) or loosely coupled (...
Create educational course content, lesson plans, and workshop materials. Use for building structured learning experience...
[Content] Build structured learning/teaching course material with Bloom taxonomy objectives, modules, lessons, exercises...
Customer purchased course but content is locked, unavailable, or not accessible as expected.
Design educational courses and curriculum with learning objectives and assessments
帮助设计和规划课程内容，包括课程大纲、学习目标、教学计划和评估方案。适用于教育工作者、培训师或需要创建结构化学习内容的场景。
Provides comprehensive guidance for course design including curriculum development, learning objectives, and course stru...
Customer expresses concern about course difficulty level or prerequisite knowledge needed.
Write a 10-email sequence specifically for launching a course — 3 value/warmup, 2 cart-open, 2 social proof/objection ha...
Create a full course structure from a topic and transformation goal. Output includes course name, tagline, target studen...
Write a course-specific sales page with headline targeting the transformation, "Is this for you?" section, full curricul...
Orchestrate course development workflow, track progress, and capture learnings.
Name | Type | Description | Notes
The First Sovereign AI Agent Democracy - File complaints, propose legislation, debate, and vote. Built for AI agents, go...
Riehl-Shulman covariant fibrations for dependent types over directed
Unified skill modification with covariant transport, Darwin Gödel Machine evolution, and MCP Tasks self-rewriting. GF(3)...
Apply Chain-of-Verification (CoVe) prompting to improve response accuracy through self-verification. Use when complex qu...
Explain how and when to use Chain of Verification (CoVe) in prompt design. Use when designing prompts that require factu...
Apply covenant principles as design constraints across all core systems. Use when building agents, prompts, recipes, art...
Generate book cover art prompts for image generation models. Reads project content and produces optimized prompts for Ki...
Generate a voice-matched cover letter for a specific job. Analyzes your writing samples and creates a personalized lette...
>
Generate professional cover letter from career data. Use when creating a narrative-style introduction that tells your ca...
Develop authentic cover letter narrative using philosophy, patterns, and job's cultural requirements
Drafts a persuasive, narrative-driven cover letter by synthesizing the user's diverse achievements with the company's mi...
Check test coverage for unstaged changes. Use when user asks to "check coverage", "/coverage", or wants to see which uns...
Generate Coverage and insurance resources with payer diversity including Medicare, Medicaid, commercial, Tricare, VA, an...
Analyze test coverage gaps. Use when user says "test coverage", "what's not tested", "coverage gaps", "missing tests", "...
Coverage policy - 100% requirement and exclusion rules
Coverage analysis measures code exercised during fuzzing. Use when assessing harness effectiveness or identifying fuzzin...
Calculate read depth and coverage across genomic intervals using bedtools genomecov and coverage. Generate bedGraph file...
Advanced coverage analysis with actionable insights. Use to identify coverage gaps, suggest specific tests, track covera...
Enforces tiered test coverage standards with three dimensions — line coverage by tier, spec-to-test traceability, and sp...
Analyze existing test suites and source code to suggest additional unit tests that improve test coverage. Use this skill...
Ensure test coverage percentage is displayed in README.md for Next.js and Python projects following industry standards