discovery
Capture interesting finds to the Vault via Inngest. Triggers when the user shares a URL, repo, or idea with signal words like "interesting", "cool", "neat",…
Skills
Find an Agent Skill for your task. Read the guide and copy the install command.
Updated 11-07 00:13
General & other
53,644 results
clerk-clock-skew-jwt
Use for Clerk JWT and session token clock-skew issues. PROACTIVELY activate for "token-not-active-yet", "JWT cannot be used prior to not before",…
mc-style-jazz
Jazz as a style layer - what is specific to jazz and what is merely general music theory wearing a jazz hat. Chord-scale theory and the avoid-note…
enhance-capacitor-ui
Separate desktop and mobile UI in hybrid apps shipped as PWA + iOS + Android (Capacitor, Tauri, Expo Web, Ionic). Use when a UI sweep "improved one surface and…
add-remote-skill
This skill should be used when the user wants to add one or more skills from GitHub repositories to the kilo-marketplace. It handles parsing GitHub URLs,…
analyze-app
macOS app stack
tracking-progress
Scan the current project's `.scratch` directory for spec, ticket, and checkpoint lists, and generate a task progress web page. Use when the user wants to know what work they have on hand, how far along it is, which ticket can be started now, or says "progress", "show me the status", "what's left".
laravel-jobs
Background jobs and event listeners for async processing. Use when working with queued jobs, background processing, events, or when user mentions jobs, queues,…
adaptive-rejection-sampler
Guidance for implementing Adaptive Rejection Sampling (ARS) algorithms. This skill should be used when implementing rejection sampling methods, log-concave…
bn-fit-modify
Guide for Bayesian Network tasks involving structure learning, parameter fitting, intervention, and sampling. This skill should be used when working with pgmpy…
compile-compcert
Guide for building CompCert, the formally verified C compiler, from source. This skill should be used when compiling, building, or installing CompCert, or when…
distribution-search
Guidance for finding probability distributions that satisfy specific statistical constraints such as KL divergence targets. This skill should be used when…
largest-eigenval
Guidance for optimizing numerical linear algebra computations, particularly finding eigenvalues of small dense matrices faster than standard library…
make-doom-for-mips
Guide for cross-compiling complex C programs (like DOOM) for embedded MIPS environments with custom VM runtimes. This skill applies when building software that…
prove-plus-comm
Guidance for proving mathematical properties in Coq using induction, specifically addition commutativity and similar arithmetic lemmas. This skill should be…
pytorch-model-recovery
Guidance for recovering PyTorch model architectures from state dictionaries, retraining specific layers, and saving models in TorchScript format. This skill…
schemelike-metacircular-eval
Guide for building metacircular evaluators in Scheme-like languages. This skill applies when implementing interpreters that can interpret themselves, handling…
ln-11-opportunity-evaluator
Evaluates new product opportunities through demand, channels and economics before committing to build.
ln-813-runtime-optimizer
Fixes blocking IO, unnecessary allocations, sync-in-async with keep/discard verification
linear-nontech-intake
Interview non-technical people directly and create Linear issues from plain-language reports, requests, confusion, screenshots, screen recordings, error…
synthesis-application
Domain-neutral methodology for evaluating completeness and logical soundness of an extracted set of components, then transforming them into actionable…
managedcode-orleans-signalr
Integrate ManagedCode.Orleans.SignalR for grain-driven SignalR delivery, connection and group routing, offline user queues, and restart-safe state. USE FOR:…
roslynator
Use the open-source free `Roslynator` analyzer packages and optional CLI for .NET. USE FOR: Roslynator.Analyzers setup; Roslynator CLI checks or cleanup; C#…
simulink-control-motors
Build motor control solutions using Motor Control Blockset for PMSM, induction motors, BLDC, and SynRM. Implement field oriented control, sensorless FOC,…