Loading...
Loading...
Found 675 Skills
Use this skill for Customware existing-project migration tasks that convert uploaded `projects.zip`, `database.zip`, and `domain.zip` artifacts into the standard full-stack Customware target app. This skill is for `migration_setup` and `migration_convert` tasks and enforces zip-driven source discovery, migration-plan creation, source-workflow parity, and source-derived Playwright verification.
Front door for any GTM task on Cargo — sourcing, waterfall enrichment, email/phone/LinkedIn lookup, email verification, scoring, qualification, sequencing, CRM sync, and signal monitoring (job changes, funding, tech-stack/hiring intent). Use when the user states a real-world goal involving prospects, leads, accounts, contacts, ICP lists, or campaign activation. Routes to phase guides (Level 2), recipes (Level 2.5), and per-provider playbooks (Level 3) before any action call.
Write, revise, and polish SCI journal papers based on LaTeX paper projects. Defaults to AI autonomous mode, and also supports human-machine collaboration where only review plans are output; provides author-stylized writing, numerical fact verification, multi-round logical tree review, and a closed-loop PDF/Word rendering workflow. ⚠️ Not applicable: Format/style parameter-only modifications, pure reference management, image processing, non-paper writing tasks.
Add `///` doc strings to public objects in Motoko modules so that `mo-doc` produces useful HTML/Markdown documentation. Covers placement rules, formatting, code examples, common pitfalls, and a verification workflow.
Complete, AI-ready playbook to migrate Motoko projects from mo:base to mo:core — phases, renames, data structure changes, agent strategy, verification scripts, upgrade tests, and production rollout.
Visual + DOM diff between two recorded sessions at matching trajectory step ids; used for visual regression and replay verification
Guide for setting up secured VS Code dev containers for coding agents. Use when creating or hardening a DevContainer to sandbox Claude Code or other coding agents, configuring Docker socket proxies, handling VS Code IPC escape vectors, setting up git worktree support, or verifying security controls. Covers threat model, three-layer defence architecture, Node.js/pnpm setup, and verification testing.
Formal theorem proving with research, testing, and verification phases
Create and manage task documents in the docs/todo/ workflow. Use when creating new tasks, updating task status, or moving tasks between workflow stages. Provides complete task lifecycle management with verification.
TDD workflow planning with Red-Green-Refactor task chain generation, test-first development structure, cycle tracking, and post-execution compliance verification. Triggers on "workflow:tdd-plan", "workflow:tdd-verify".
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.
Use when starting feature work that needs isolation from current workspace or before executing implementation plans - creates isolated git worktrees with smart directory selection and safety verification