Browse Skills

compile-compcert.md

13

1 export compile-compcert

2 from "letta-ai/skills"

3 Guidance for building CompCert, a formally verified C compiler. This skill applies when tasks involve compiling CompCert from source, setting up Coq/OCaml environments with opam, or building software with strict proof assistant dependencies. Use for CompCert compilation, Coq-dependent project builds, or formal verification toolchain setup.

2026-01-21

ln-360-codebase-auditor.md

13

1 export ln-360-codebase-auditor

2 from "levnikolaevich/claude-code-skills"

3 Coordinates 9 specialized audit workers (security, build, architecture, code quality, dependencies, dead code, observability, concurrency, lifecycle). Researches best practices, delegates parallel audits, aggregates results into single Linear task in Epic 0.

2026-01-21

build-cython-ext.md

13

1 export build-cython-ext

2 from "letta-ai/skills"

3 Guidance for building and fixing Cython extensions, particularly for numpy compatibility issues. This skill should be used when tasks involve compiling Cython code, fixing deprecated numpy type errors, or resolving compatibility issues between Cython extensions and modern numpy versions (2.0+).

2026-01-21

ln-150-presentation-creator.md

13

1 export ln-150-presentation-creator

2 from "levnikolaevich/claude-code-skills"

3 Builds interactive HTML presentation with 6 tabs (Overview, Requirements, Architecture/C4, Tech Spec, Roadmap, Guides). Creates presentation/README.md hub. L2 Worker under ln-100-documents-pipeline.

2026-01-21

regex-chess.md

13

1 export regex-chess

2 from "letta-ai/skills"

3 Guidance for implementing chess move generation using only regular expressions. This skill applies to tasks requiring encoding game logic (chess, board games) into regex patterns, or more generally "compile-to-constraints" problems where complex business logic must be expressed in a limited formalism like regex. Use when the task involves generating legal moves, validating game states, or transforming position representations using pattern matching.

2026-01-21

mailman.md

13

1 export mailman

2 from "letta-ai/skills"

3 Guidance for setting up and configuring mailing list servers with Postfix and Mailman3. This skill should be used when tasks involve configuring email servers, mailing list management, LMTP integration, or mail delivery pipelines. Applies to tasks requiring Postfix-Mailman integration, subscription workflows, or email broadcast functionality.

2026-01-21

ipsw.md

13

1 export ipsw

2 from "blacktop/ipsw-skill"

3 Apple firmware and binary reverse engineering with the ipsw CLI tool. Use when analyzing iOS/macOS binaries, disassembling functions in dyld_shared_cache, dumping Objective-C headers from private frameworks, downloading IPSWs or kernelcaches, extracting entitlements, analyzing Mach-O files, or researching Apple security. Triggers on requests involving Apple RE, iOS internals, kernel analysis, KEXT extraction, or vulnerability research on Apple platforms.

2026-01-09

pytorch-model-recovery.md

13

1 export pytorch-model-recovery

2 from "letta-ai/skills"

3 This skill should be used when reconstructing PyTorch models from weight files (state dictionaries), checkpoint files, or partial model artifacts. It applies when the agent needs to infer model architecture from saved weights, rebuild models without original source code, or recover models from corrupted/incomplete saves. Use this skill for tasks involving torch.load, state_dict reconstruction, architecture inference, or model recovery in CPU-constrained environments.

2026-01-21

prove-plus-comm.md

13

1 export prove-plus-comm

2 from "letta-ai/skills"

3 Guidance for proving mathematical properties in Coq using induction, specifically addition commutativity and similar arithmetic lemmas. This skill should be used when working with Coq proof assistants to complete induction proofs, fill in proof cases, or apply standard library lemmas like plus_n_O and plus_n_Sm.

2026-01-21

path-tracing-reverse.md

13

1 export path-tracing-reverse

2 from "letta-ai/skills"

3 Guidance for reverse engineering graphics rendering programs (ray tracers, path tracers) from binary executables. This skill should be used when tasked with recreating a program that generates images through ray/path tracing, particularly when the goal is to achieve pixel-perfect or near-pixel-perfect output matching. Applies to tasks requiring binary analysis, floating-point constant extraction, and systematic algorithm reconstruction.

2026-01-21

viewcomponent-coder.md

13

1 export viewcomponent-coder

2 from "majesticlabs-dev/majestic-marketplace"

3 Build component-based UIs with ViewComponent and view_component-contrib. Use when creating reusable UI components, implementing slots and style variants, or building component previews. Triggers on ViewComponent creation, component patterns, Lookbook previews, or UI component architecture.

2026-01-22

python-coder.md

13

1 export python-coder

2 from "majesticlabs-dev/majestic-marketplace"

3 Modern Python 3.12+ development with uv, ruff, and production-ready practices. Routes to specialized skills for frameworks and testing.

2026-01-22

gem-builder.md

13

1 export gem-builder

2 from "majesticlabs-dev/majestic-marketplace"

3 Comprehensive guide for building production-quality Ruby gems. Use when creating new gems, structuring gem architecture, implementing configuration patterns, setting up testing, or preparing for publishing. Covers all gem types - libraries, CLI tools, Rails engines, and API clients.

2026-01-22

cloud-init-coder.md

13

1 export cloud-init-coder

2 from "majesticlabs-dev/majestic-marketplace"

3 This skill guides writing cloud-init configurations for VM provisioning. Use when creating user_data blocks in Terraform/OpenTofu, or cloud-init YAML for AWS, DigitalOcean, GCP, or Azure instances.

2026-01-22

kv-store-grpc.md

13

1 export kv-store-grpc

2 from "letta-ai/skills"

3 Guide for implementing gRPC-based key-value store services in Python. This skill should be used when building gRPC servers with protobuf definitions, implementing KV store operations (Get, Set, Delete), or troubleshooting gRPC service connectivity. Applicable to tasks involving grpcio, protobuf code generation, and background server processes.

2026-01-21

publish.md

13

1 export publish

2 from "inspirepan/klaude-code"

3 Publish a new version of klaude-code to PyPI. This skill handles version bumping, changelog updates, git tagging, and package publishing. Use when the user wants to release a new version.

2026-01-15

ln-364-code-quality-auditor.md

13

1 export ln-364-code-quality-auditor

2 from "levnikolaevich/claude-code-skills"

3 Code quality audit worker (L3). Checks cyclomatic complexity, deep nesting, long methods, god classes, O(n²) algorithms, N+1 queries, magic numbers, decentralized constants, duplicate constants. Returns findings with severity, location, effort, recommendations.

2026-01-21

cloudflare-coder.md

13

1 export cloudflare-coder

2 from "majesticlabs-dev/majestic-marketplace"

3 This skill guides provisioning Cloudflare infrastructure with OpenTofu/Terraform. Use when managing zones, DNS records, WAF rules, SSL settings, Page Rules, or cache configuration.

2026-01-22

pypi-server.md

13

1 export pypi-server

2 from "letta-ai/skills"

3 Guidance for creating Python packages and serving them via a local PyPI server. This skill applies when tasks involve building Python packages (with pyproject.toml or setup.py), setting up local package repositories, or serving packages via HTTP for pip installation. Use when the goal is to create installable Python packages and make them available through a local index URL.

2026-01-21

pytorch-model-cli.md

13

1 export pytorch-model-cli

2 from "letta-ai/skills"

3 Guidance for implementing CLI tools that perform inference using PyTorch models in native languages (C/C++/Rust). This skill should be used when tasks involve extracting weights from PyTorch .pth files, implementing neural network forward passes in C/C++, or creating standalone inference tools without Python dependencies.

2026-01-21

writing-plans.md

13

1 export writing-plans

2 from "withzombies/hyperpowers"

3 Use to expand bd tasks with detailed implementation steps - adds exact file paths, complete code, verification commands assuming zero context

2026-01-21

app-standards.md

13

1 export app-standards

2 from "ScotterMonk/AgentAutoFlow"

3 All modes that write scripts or code follow these app standards for communication, modularization, simplification, naming conventions

2026-01-05

app-knowledge.md

13

1 export app-knowledge

2 from "ScotterMonk/AgentAutoFlow"

3 When any part of the application needs to be found or understood.

2026-01-05

Headless Runner.md

13

1 export Headless Runner

2 from "sunholo-data/ailang"

3 Run Claude Code in headless/programmatic mode for automation, CI/CD, and agent workflows. Use when user asks about headless mode, programmatic execution, scripting Claude, or automating Claude workflows.

2026-01-21