DeFi

Search for Lean 4 and Mathlib theorems, lemmas, and definitions by type signature, name, or subexpression pattern. Use when the user asks to find a theorem, look up a Lean definition, search for lemmas, or needs help discovering Mathlib functions.

Structure n8n nodes correctly with INodeTypeDescription, resource-operation patterns, and proper package.json configuration. Use this skill when creating new *.node.ts files, defining INodeTypeDescription properties, implementing resource and operation parameters, building trigger nodes, organizing complex nodes into actions folders, or configuring the n8n section in package.json. Apply when choosing between declarative and programmatic styles, setting up node metadata, or structuring community node packages.

Guide for creating and configuring custom sub-agents for Claude Code. Use this skill when you need to define specialized agents with dedicated system prompts, tool sets, and models to handle specific tasks.

Standards for writing CLAUDE.md and modular rules files (.claude/rules/) that maximize LLM execution efficiency. Use when creating or editing project instructions, defining conventions, or optimizing agent behavior for determinism and token efficiency. Focuses on eliminating ambiguity and producing consistent agent execution.

Implement step definitions for Gherkin scenarios, translating Given/When/Then into executable test code. Use after write-scenario when scenarios are defined but step definitions are missing.

Run user-defined macOS Shortcuts for custom automation workflows. Use when user wants to trigger a Shortcut by name or execute a custom automation.

Design database models with proper naming, data types, constraints, and relationships. Use this skill when creating or modifying ORM models, database schemas, or entity definitions. When working on files like models.py, models/, entities/, schemas/, or any file defining database tables and their relationships. When adding timestamps, foreign keys, indexes, or validation constraints. When defining model relationships (one-to-many, many-to-many) or cascade behaviors.

Use when translating a program/app idea into a VibeDev MCP Job (deliverables, definition of done, invariants, and a small step plan) and preparing it to transition to READY without implementing features yet

Detect and fix violations of project instructions defined in .claude/rules/. Use when checking code compliance, reviewing changes, or when the user asks about instruction violations.

Ability to analyse, design, optimise, and improve systems that integrate people, processes, technology, and resources to meet defined performance, quality, cost, and safety requirements. Includes applying engineering, statistical, and systems methods to model workflows, identify inefficiencies, evaluate trade-offs, and implement improvements across operations and supply chains. Applies across manufacturing, services, logistics, healthcare, and infrastructure contexts and is independent of specific tools or industries, with human accountability retained for decisions, outcomes, and impacts.

Define canonical dotnet format and analyzer verification commands, and provide scripts that generate a format/analyzer report. Use when checking formatting or Roslyn analyzers without reformatting everything.

Generates a complete iOS app icon set with all required sizes. Use when asked to create an app icon, design an iOS icon, generate app store artwork, or make an icon for an iPhone/iPad app. Follows a philosophy-first approach - first defining the visual identity and concept, then producing production-ready icons.

Run a batch of visual comparisons defined in a uiMatch suite JSON file using @uimatch/cli, then read each report to summarize which components passed or failed their quality gates. Use this skill when the user wants to run many Figma-vs-implementation checks at once, such as CI-style validation for a component library or flow.

Generate measurable learning outcomes aligned with Bloom's taxonomy and CEFR proficiency levels for educational content.Use this skill when educators need to define what students will achieve, create learning objectivesfor curriculum planning, or ensure objectives are specific and testable rather than vague.This skill helps break down complex topics into progressively building learning goals with clearassessment methods and success criteria.

Use when navigating code, understanding unfamiliar functions, finding definitions or references, tracing call hierarchies, preparing for refactoring, or analyzing code impact. Enforces LSP-first semantic code intelligence with mandatory pre-edit checks, impact analysis before refactoring, and post-edit diagnostics. Provides IDE-like precision for code operations in large codebases. Covers navigation (goToDefinition, findReferences), understanding (hover, documentSymbol), and call analysis (incomingCalls, outgoingCalls).

Architectural planning and ADR creation. Use when evaluating feasibility, making technology choices, or defining system integration.

Provides REQ-* key pattern definitions, validation rules, and traceability operations. Use for understanding requirement key formats, validating keys, or tracing requirements through the SDLC lifecycle.

Comprehensive software architecture skill for designing scalable, maintainable systems using ReactJS, NextJS, NodeJS, Express, React Native, Swift, Kotlin, Flutter, Postgres, GraphQL, Go, Python. Includes architecture diagram generation, system design patterns, tech stack decision frameworks, and dependency analysis. Use when designing system architecture, making technical decisions, creating architecture diagrams, evaluating trade-offs, or defining integration patterns.

Defines editorial priorities for AndesRC blog. Maps topics to funnel stages (TOFU/MOFU/BOFU), identifies pillar vs. satellite content, and ensures alignment with the 4 content pillars. Use when starting a new content cycle or prioritizing the backlog.

Design and build reusable, maintainable UI components following modern architecture patterns for React, Vue, or other frameworks. Use this skill when creating component files (.jsx, .tsx, .vue), implementing component logic, managing component state, defining props interfaces, or organizing component hierarchies in directories like components/, views/, or pages/. Apply this skill when building functional components with hooks (React), composition API components (Vue), single-file components, implementing component composition patterns, managing local vs. lifted state, or creating custom hooks for shared logic. This skill ensures components follow single responsibility principle, are properly encapsulated, have clear prop interfaces with TypeScript types, support reusability across contexts, and follow modern patterns like atomic design, container/presentational separation, and compound components.