Claude Skills by majiayu000

List LeetCode problems by difficulty level (easy/medium/hard)

Show LeetCode problem details and generate Rust template (project)

Submit a Rust solution file to LeetCode (project)

Test a Rust solution file against LeetCode's test cases (project)

LCOV tooling - finding gaps, parsing coverage files, marker syntax

Create and maintain ExecPlans for complex work (design-to-implementation) following the repo's ExecPlan standard.

When asked to commit, write clear git commit messages (50/72, present tense, subsystem prefixes like go-lcpd:).

Develop the go-lcpd daemon/tools (Go). Follow repo principles (robustness, TDD, lint) and validate with make test/lint/gen.

Edit the Mintlify docs site under docs/. Keep docs.json consistent and run a11y/broken-links checks.

Develop apps/openai-serve (Go). Keep OpenAI gateway behavior correct and avoid logging prompts/outputs.

Edit LCP protocol docs under docs/protocol/ in BOLT-style (TLVs, message formats, state flow).

Repository orientation and which Codex skills to use for each area (go-lcpd, protocol spec, docs, openai-serve, ExecPlans).

Write WYSIWID-style design docs (Concepts + Synchronizations) for go-lcpd, keeping terminology consistent with code.

Activate when the user needs help writing, optimizing, or understanding LimaCharlie Query Language (LCQL) queries for searching telemetry.

This skill should be used when the user asks to "test for LDAP injection vulnerabilities", "exploit LDAP queries", "perform blind LDAP injection attacks", "bypass authentication using LDAP injection", "extract data from LDAP directories", or "assess LDAP-based application security". It provides comprehensive techniques for identifying and exploiting LDAP injection flaws in web applications.

Use when writing or modifying Lea code - pipe-oriented functional language with tree-walk interpreter

Lead Développeur pour coordination technique opérationnelle et code review. Utilise ce skill quand: (1) coordination d'une équipe de développeurs, (2) code review et qualité de code, (3) mentoring technique, (4) résolution de problèmes techniques complexes, (5) planification des sprints techniques, (6) validation des merge requests.

Use for implementing features, writing production TypeScript/Langium code, code review guidance, and ensuring technical quality. Activate when implementing new functionality, reviewing PRs, or optimizing performance.

Find 5-10 key decision makers per company with verified emails using Parallel, Apollo, and MillionVerifier APIs

Multi-step calculator UI for Astro. Quote tools, pricing calculators. Uses astro-forms for backend.

Copywriting patterns for UK lead generation websites. Headlines, CTAs, benefit statements, objection handling. Use for all website copy.

Skill for Lead Generation and Email Marketing automation in n8n. Use for creating leads, scoring, enrichment, email campaigns, and nurturing sequences. Activate when working on lead capture forms, email workflows, MQL/SQL qualification, or marketing automation.

B2B demand generation with CAC optimization, multi-channel strategies, and lead qualification frameworks. Use for lead acquisition, nurture campaigns, and conversion optimization. Based on alirezarezvani/claude-skills.

THE MOST CRITICAL FEATURE FOR HODGES & FOOSHEE REALTY. Ultimate distressed property intelligence system tracking 22 distress signals across financial, life event, property, legal, and market categories. Self-improving AI that monitors performance, spawns specialized skills to fix bottlenecks, runs A/B tests, and continuously optimizes lead conversion. This is the game-changer that finds homeowners in crisis BEFORE anyone else does. Use for ALL lead generation tasks, pipeline optimization, mul...

Design high-converting lead magnets and entry points with opt-in mechanisms, traffic strategies, and segmentation.

Create CRPO-compliant lead magnets for therapy practices that build email lists without crossing ethical boundaries. Use when planning top-of-funnel content to capture leads. Creates concepts for guides, frameworks, and educational resources. CRITICAL: NO diagnostic assessments, NO outcome promises, NO psychological tests. Triggers on: create lead magnet, build email list, free resource ideas, content upgrade concepts. Outputs educational lead magnet concepts that provide genuine value while ...

Create compelling free offers that attract your ideal customers. Use when building email lists, generating leads, or creating entry points for your audience.

Use when evaluating ICP fit, buying intent, and routing priority for new leads.

Qualify and score sales leads using proven frameworks and data-driven criteria

Research and qualify potential leads using data sources, social media, and business intelligence for sales and marketing

Implement and manage lead scoring systems. Use when working with lead qualification, conversion tracking, or lead funnel optimization. Triggers on "lead", "scoring", "conversion", "funnel", "qualification".

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.

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.

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

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