This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration

**Build incrementally, structure before solving, trust the type checker.** Lean's type checker is your test suite.

Transform "I want to learn X" into actionable learning roadmaps using metalearning principles: identify the critical 20%, build expert vocabulary, sequence logically (why before how), prioritize curre

Explicitly teach Claude patterns, preferences, or conventions that should be remembered across sessions.

'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.'

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.

Extract learnings from the current conversation and persist them to CLAUDE.md, skills, or repo-specific documentation.

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

Reusable skills are not code snippets to copy-paste, but **principles and decision-making heuristics** that teach Claude HOW TO THINK about a class of problems.

learning-objectives

Generate measurable learning outcomes aligned with Bloom's taxonomy and CEFR proficiency levels for educational content. Use when educators need to define what students will achieve, create learning objectives for curriculum planning, or ensure objectives are specific and testable rather than vague.

learning-path-builder

Design personalized learning plans for skills, topics, and career development

Integration patterns and best practices for adding persistent memory to LLM agents using the Letta Learning SDK

Expert knowledge for categorizing learnings and routing them to appropriate improvement targets. Use when analyzing session learnings to determine where context improvements should be applied.

learning-tracker

Expert in lease abstraction and critical terms extraction. Use when abstracting lease agreements, extracting key dates, identifying critical provisions, or creating lease summaries. Key terms include lease abstraction, critical dates, rent schedule, operating costs, renewal options, termination rights, default provisions, use clause, assignment clause, Schedule G special provisions

Create clean, descriptive git commits for Leavn app following emoji prefix convention with comprehensive change summaries

Fix last few build errors aggressively, get clean build, commit everything, and prepare for ship in Leavn iOS app

Systematically test language switching, localization, RTL support, and content rendering across all supported languages in the Leavn iOS app. Gener...

Use this skill when preparing releases, generating changelogs, or creating release announcements.

Combines YouTube lecture transcripts with PDF slides to create an interactive HTML page. Matches each slide to corresponding transcript segments, organized by key concepts. Use when users want to create synchronized lecture notes from transcript text files and slide PDFs.

Manufacturing Intelligence — Leela AI applies MOOLLM to industry

Interactive LeetCode-style teacher for technical interview preparation. Generates coding playgrounds with real product challenges, teaches patterns and techniques, supports Python/TypeScript/Kotlin/Swift, and provides progressive difficulty training for data structures and algorithms.

Expert system for identifying deprecated patterns, suggesting refactoring to modern standards (Python 3.12+, ES2024+), checking test coverage, and leveraging AI-powered tools. Proactively applied when users request refactoring, updates, or analysis of legacy codebases.

Use when modifying, removing, or refactoring code that lacks test coverage. Emphasizes the danger of untested changes and the RGR workflow to add characterization tests before modifications.

Comprehensive legacy codebase analysis skill for technical debt assessment, security vulnerability scanning, performance bottleneck detection, and modernization roadmap generation. Includes 7 Python tools for automated codebase inventory, architecture health analysis, and strategic modernization planning.

Transform legacy codebases into AI-ready projects by generating Claude Code configurations.

How to project legitimacy for Solana projects: disclosures, address registry, audits, comms patterns, red-flag avoidance. Use for project pages, announcements, and community trust work.

Best practices for Lerna monorepo management, versioning, and publishing

Complete lessons learned standards, validation, and multi-file management. Single source of truth for all lessons learned operations including format, size limits, split procedures, and quality standards.

Use when capturing discoveries after phase completion, before shipping, or when reflecting on completed work to extract reusable patterns

Capture and review lessons learned from coding sessions. Use to record insights, read past lessons, and improve over time.

Create engaging newsletters that get read, clicked, and shared

Creates 4 root documentation files (CLAUDE.md, docs/README.md, documentation_standards.md, principles.md). L3 Worker invoked by ln-110-project-docs-coordinator.

Creates 3 core project docs (requirements.md, architecture.md, tech_stack.md). L3 Worker invoked by ln-110-project-docs-coordinator. ALWAYS created.

Creates runbook.md for DevOps setup. L3 Worker invoked CONDITIONALLY when hasDocker detected.

Creates task management documentation (docs/tasks/README.md + kanban_board.md). L2 Worker in ln-100-documents-pipeline. Sets up Linear integration and task tracking rules.

Orchestrates full decomposition (scope → Epics → Stories) by delegating ln-210 → ln-220. Sequential Story decomposition per Epic. Epic 0 for Infrastructure.

Worker that runs existing tests to catch regressions. Auto-detects framework, reports pass/fail. No status changes or task creation.

Security audit worker (L3). Scans codebase for hardcoded secrets, SQL injection, XSS, insecure dependencies, missing input validation. Returns findings with severity (Critical/High/Medium/Low), location, effort, and recommendations.

Orchestrates full project bootstrap from Replit export to production-ready structure

Upgrades npm/yarn/pnpm dependencies with breaking change handling

Upgrades .NET NuGet packages with breaking change handling

Upgrades Python pip/poetry/pipenv dependencies with breaking change handling

Generates .NET Clean Architecture backend structure from entity definitions

Generates GitHub Actions CI workflow configuration

Configures environment variables and secrets protection

Configures ESLint, Prettier, Ruff, and .NET analyzers

Configures Husky, lint-staged, commitlint, and Python pre-commit