All authors

Claude Skills by plurigrid
github.com/plurigrid2,535 skills6 installs3,507 views
- Kolmogorov Codex QuestKolmogorov Codex QuestVotes: 0GitHub stars: 61
- Kolmogorov CompressionKolmogorov complexity as the ultimate intelligence measure. ShortestVotes: 0GitHub stars: 61
- Kolmogorov Onsager HurstTurbulence scaling theory: K41 energy cascade, Onsager's anomalous dissipation, and Hurst exponent for long-range dependenceVotes: 0GitHub stars: 61
- Koopman GeneratorKoopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.Votes: 0GitHub stars: 61
- Kos FirmwareK-Scale Operating System - Rust-based robot firmware with gRPC services for actuator control, IMU, and sim2real transfer. Platform abstraction layer for hardware/simulation backends.Votes: 0GitHub stars: 61
- Kpz UniversalityKPZ universality class: KPZ fixed point, directed landscape, random interface growth scaling limits. Universal fluctuations for TASEP, PNG, LPP, and polymer models.Votes: 0GitHub stars: 61
- Kscale ActuatorRust library for controlling actuators (Robstride servo motors) on K-Scale robots. CAN bus communication, position/velocity/torque control.Votes: 0GitHub stars: 61
- Kscale Biomimetic Supply- User asks about supply chain resilience for humanoid roboticsVotes: 0GitHub stars: 61
- Kscale Ecosystem- User asks about K-Scale Labs, their robots, or open-source robotics stackVotes: 0GitHub stars: 61
- Kscale Kinfer- User asks about deploying RL policies to real robotsVotes: 0GitHub stars: 61
- Kscale Kos- User asks about robot operating systems, firmware, or low-level controlVotes: 0GitHub stars: 61
- Kscale Ksim- User asks about robot simulation, humanoid locomotion, or RL policy trainingVotes: 0GitHub stars: 61
- Ksim RlRL training library for humanoid locomotion and manipulation built on MuJoCo and JAX. Provides PPO, AMP, and custom task abstractions for sim-to-real robotics policy training.Votes: 0GitHub stars: 61
- Kuramoto ModelCoupled oscillators with sinusoidal couplingVotes: 0GitHub stars: 61
- L SpaceL-Space Skill: The Library of All LibrariesVotes: 0GitHub stars: 61
- LWorld L SkillVotes: 0GitHub stars: 61
- Lambda CalculusLambda Calculus SkillVotes: 0GitHub stars: 61
- Langevin Dynamics' Layer 5: SDE-Based Learning Analysis via Langevin Dynamics'Votes: 0GitHub stars: 61
- Lasalle InvarianceInvariance principle for asymptotic stabilityVotes: 0GitHub stars: 61
- Last Passage PercolationLast Passage Percolation models: geometric LPP, exponential weights, Tracy-Widom limits, matrix product ansatz, and connections to TASEP and random matrices.Votes: 0GitHub stars: 61
- Latched HyperpriorLatched Hyperprior Hypothesis (LHH) — a sustained vascular contraction engages the smooth-muscle latch-bridge, durably freezing a circuit as a committed hyperprior isolated from global updating; unlatches when its prediction resolves. Use when modeling durable commitments, trauma/PTSD as cemented priors, latch spirals, or the cross-substrate latch (mechanical/bioelectric/immune/sheaf).Votes: 0GitHub stars: 61
- Latent LatencyLatent-Latency SkillVotes: 0GitHub stars: 61
- Launch StrategyWhen the user wants to plan a product launch, feature announcement, or release strategy. Also use when the user mentions 'launch,' 'Product Hunt,' 'feature release,' 'announcement,' 'go-to-market,' 'beta launch,' 'early access,' 'waitlist,' or 'product update.' This skill covers phased launches, channel strategy, and ongoing launch momentum.Votes: 0GitHub stars: 61
- Lawvere TheoryLawvere theories: categorical universal algebra.Votes: 0GitHub stars: 61
- Lazyjjlazyjj — Ratatui TUI for Jujutsu (jj) with interactive log, files, bookmarks, and diff panelsVotes: 0GitHub stars: 61
- Lead Research AssistantIdentifies high-quality leads for your product or service by analyzingVotes: 0GitHub stars: 61
- Lean Proof WalkGF(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.Votes: 0GitHub stars: 61
- Lean4 Music ToposFormal verification of music topos theorems - spectral gaps, CRDT correctness, color harmony, preference learningVotes: 0GitHub stars: 61
- Leapity FrogWhen conservation is locally violated:Votes: 0GitHub stars: 61
- LibaflFuzzing framework LibAFL for custom fuzzing campaigns.Votes: 0GitHub stars: 61
- LibfuzzerFuzzing with libFuzzer for finding vulnerabilities in code.Votes: 0GitHub stars: 61
- Libghostty AciIntegrates libghostty terminal emulation with Agent-Computer Interface (ACI) patterns:Votes: 0GitHub stars: 61
- Libghostty Embedlibghostty terminal embedding for per-vat REPLs with Goblins integrationVotes: 0GitHub stars: 61
- Libghostty RecordingRecord, stream, and replay libghostty-vt terminal sessions for documentation, debugging, and LLM training.Votes: 0GitHub stars: 61
- Libghostty StreamingThe **white hole** dual to libghostty-recording. Streams, plays back, and broadcasts terminal sessions. Where recording absorbs (black hole), streaming emits (white hole).Votes: 0GitHub stars: 61
- Libghostty Vtlibghostty-vtVotes: 0GitHub stars: 61
- Limit SetAsymptotic behavior of trajectories (ω/α-limit sets)Votes: 0GitHub stars: 61
- Lindenmayer SystemsL-systems: parallel string rewriting for fractals, plants, and morphogenesis.Votes: 0GitHub stars: 61
- Linear LogicLinear Logic SkillVotes: 0GitHub stars: 61
- LinearizationLocal approximation of nonlinear dynamicsVotes: 0GitHub stars: 61
- Lispsyntax AcsetLispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-styleVotes: 0GitHub stars: 61
- Little SchemerLittle Schemer SkillVotes: 0GitHub stars: 61
- Live RecordingAlways-on audio capture via whisper-cpp to org file with Emacs live displayVotes: 0GitHub stars: 61
- Livekit OmnimodalLiveKit omni-modal continuous coaching with stick-breaking color selection,Votes: 0GitHub stars: 61
- LivestreamWarehouse audio pipeline for live capture, transcription, and narration from meeting room mics via Tailscale. Triggers: livestream, warehouse audio, transcription pipeline, meeting capture, whisper.Votes: 0GitHub stars: 61
- Llm Application DevBuilding applications with Large Language Models - prompt engineering,Votes: 0GitHub stars: 61
- Llms Txt DiscoveryCreate the **largest indexed directory of AI documentation** by:Votes: 0GitHub stars: 61
- Load SkillsBootstrap skill loader for instance startup. Pulls fresh skills from plurigrid/asi and loads GF(3)-balanced startup triads. MUST run at beginning of every new instance.Votes: 0GitHub stars: 61
- Local Compositionality GadgetLocal Compositionality GadgetVotes: 0GitHub stars: 61
- Localsend McpLocalSend-based P2P transfer with MCP server design for NATS/TailscaleVotes: 0GitHub stars: 61