Claude Skills by majiayu000

A framework for managers to stop being the bottleneck by shifting from "problem-solver" to "coach." Use it when a team member brings a problem to you (the "monkey on the back"), when you find yourself making every decision, or when you want to empower senior experts.

Executive leadership expertise for decision-making, change management, crisis management, stakeholder management, team building, and organizational leadership. Use when leading teams, managing change, navigating crises, or developing leadership skills.

Especialista em Regras de Negócio, Formatos de Liga SaaS, Lógica Financeira e Disputas do Super Cartola. Guardião das regras oficiais, fórmulas de cálculo, premiações e punições. Use para criar/ajustar configs de liga, calcular finanças, definir regras de disputas ou validar implementações de negócio.

Build, test, and debug Lean 4 projects using Lake. Use when building the ComputationalPaths project, checking for errors, running tests, cleaning artifacts, or debugging Lean 4 compilation issues.

Create lean canvas and business model canvas for startup planning

Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topological spaces.

GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof space via prime geodesics.

Provides startup advice using Eric Ries' Lean Startup methodology focusing on Build-Measure-Learn cycles, validated learning, and rapid experimentation. Use when advising on MVPs, product iterations, pivot decisions, growth metrics, or when user mentions Lean Startup, Eric Ries, validated learning, or rapid experimentation.

Lean 4 FFI memory layout for constructors with mixed object and scalar fields. Use when: (1) assertion violation "i < lean_ctor_num_objs(o)" accessing constructor fields, (2) assertion violation "offset >= lean_ctor_num_objs(o) * sizeof(void*)" with scalar getters, (3) lean_ctor_get_uint8/uint16/uint32 crashes or returns garbage, (4) creating FFI bindings for Lean inductives or structures with small integer fields (UInt8, UInt16, UInt32). Covers lean_alloc_ctor, lean_ctor_get, lean_ctor_set, ...

Retrieval-augmented Lean4 proof generation. Queries 94k+ exemplars from DeepSeek-Prover V1+V2, uses hybrid search (BM25 + semantic + graph), generates via Claude, compiles in Docker, retries on failure.

Semantic search across codebase using LEANN vector index

Analyze leap year calculations, calendar systems, and date validation logic. Use this when the user asks about leap year rules, calendar types (Gregorian, Julian, Hebrew, Chinese), year range validation (1582-9999), mathematical formulas, or needs to understand the core leap year detection algorithms.

Metalearning skill that helps master any topic efficiently by identifying critical 20% material, building expert vocabulary, and creating research-backed learning roadmaps. Auto-trigger when user says "learn [topic]", "help me learn [topic]", "I want to learn [topic]", or asks for guidance on understanding a new subject. Supports comprehensive plans, interactive guidance, or minimalist just-in-time delivery.

Analyze Claude Code sessions to learn what went right/wrong and suggest high-confidence improvements to skills. Use when asked to analyze a session, learn from a session, or review workflow effectiveness.

Learn about Nexus integrations and MCP. Load when user mentions: learn integrations, what is MCP, connect tools, integration tutorial, add integration, external tools, API connections, third party, how to integrate. 10-12 min.

Master Nexus philosophy and best practices. Load when user mentions: learn nexus, nexus tutorial, system mastery, nexus best practices, how nexus works, nexus philosophy, nexus design, understand nexus, nexus deep dive. 15-18 min.

Learn how Nexus projects work. Load when user mentions: learn projects, how do projects work, projects vs skills, project tutorial, what is a project, project structure, project lifecycle, understand projects, explain projects. 8-10 min.

会話履歴や作業内容から、再利用可能なエージェントスキルを生成または追記する

Learn how Nexus skills work. Load when user mentions: learn skills, how do skills work, what is a skill, skill tutorial, skill structure, understand skills, explain skills, when to create skill, skill vs project. 10-12 min.

This skill should be used when the user asks to "save learnings", "remember this for next time", "add this to CLAUDE.md", "update your instructions", or wants to extract lessons from the current conversation.

This skill should be used when writing, modifying, or reorganizing

Manage learned patterns - list, view, archive, boost or penalize confidence. Use when you want to see what patterns Claude has learned, review pattern effectiveness, or manage the pattern library.

Index directory for automatically learned skills from execution feedback

Extracts reusable skills and decision-making heuristics from debugging sessions. Use after solving tricky bugs, discovering non-obvious workarounds, or finding hidden gotchas specific to a codebase. Triggers include "save this as a skill", "learn from this", or after significant debugging effort.

Proactively learn about the user through onboarding and ongoing observation. Use at session start and when you notice potential preferences.

accommodation-planner for inclusive and accessible learning experiences.

adaptive-testing design for effective learning measurement.

ai-integration for learning technology evaluation and implementation.

Develops comprehensive assessment strategies aligned to learning objectives and pedagogical goals.

Provides comprehensive guidance for learning assessment including assessment creation, evaluation methods, and assessment best practices. Use when the user asks about learning assessment, needs to create assessments, evaluate learning, or implement assessment strategies.

authentic-assessment design for effective learning measurement.

badge-system for credentials, recognition, and competency validation.

Recognize and capture reusable patterns, workflows, and domain knowledge from work sessions into new skills. Use when completing tasks that involve novel approaches repeated 2+ times, synthesizing complex domain knowledge across conversations, discovering effective reasoning patterns, or developing workflow optimizations. Optimizes for high context window ROI by identifying patterns that will save 500+ tokens per reuse across 10+ future uses.

Align language learning content to CEFR framework (A1-C2), design can-do statements for each proficiency level, create language assessment rubrics, and map content progression. Use for language learning curriculum. Activates on "CEFR", "language proficiency", "A1", "B2", or "language curriculum".

certificate-generator for credentials, recognition, and competency validation.

coaching-framework for enhanced learning effectiveness and personal development.

cohort-manager for learning operations and program management.

Design collaborative group projects with role assignments, scaffolding, team rubrics, and conflict resolution protocols. Use for team-based learning. Activates on "group project", "team assignment", "collaborative work", or "team learning".

Design online learning communities with engagement strategies, discussion structures, norms, and moderation workflows. Use for social learning. Activates on "learning community", "discussion forum", "online community", or "peer network".

Develops strategic content plans for curriculum scope, sequence, and delivery.

Adapt learning content for cultural contexts, replacing culturally-specific examples with local equivalents, identifying cultural sensitivities, and recommending culturally appropriate teaching methods. Use when localizing content for different cultures or regions. Activates on "cultural adaptation", "localization", "cultural context", or "regional customization".

dashboard-builder for measuring learning effectiveness and business impact.

data-collection for evidence-based learning research and evaluation.

Ensures educational content and systems comply with data privacy regulations (COPPA, FERPA, GDPR).

Ensures educational content and systems comply with data privacy regulations (COPPA, FERPA, GDPR).

Generate a quick compliance checklist from the Four Learning Design Pillars. Use when users want a practical checklist for reviewing content, a quick audit tool, or verification questions for specific pillars.

Review educational content against the Four Learning Design Pillars framework. Use when users want to evaluate course materials, lessons, tutorials, e-learning modules, or any instructional content for alignment with evidence-based learning design principles. Provides structured feedback with specific principle references (e.g., 1.1.1, 2.3.4) and actionable recommendations.

Эксперт по планам развития. Используй для создания IDP, competency mapping, skill assessments и learning pathways.

Design pre-assessments, placement tests, and diagnostic instruments to identify learner starting points, knowledge gaps, and optimal entry points for personalized pathways. Use when determining where learners should start. Activates on "placement test", "diagnostic assessment", "pre-test", or "skill assessment".

Design discussion prompts, Socratic questions, debate structures, and facilitation guides for meaningful learning conversations. Use for discussion-based learning. Activates on "discussion questions", "debate design", "Socratic method", or "forum prompts".