kolmogorov-onsager-hurst
Turbulence scaling theory: K41 energy cascade, Onsager's anomalous dissipation, and Hurst exponent for long-range dependence
kos-firmware
K-Scale Operating System - Rust-based robot firmware with gRPC services for actuator control, IMU, and sim2real transfer. Platform abstraction layer for hardware/simulation backends.
kscale-actuator
Rust library for controlling actuators (Robstride servo motors) on K-Scale robots. CAN bus communication, position/velocity/torque control.
kscale
K-Scale Labs robotics skill collection - unified index for humanoid robot development, RL training, sim-to-real transfer, and deployment. Aggregates 9 specialized skills with GF(3) triadic organization.
ksim-rl
RL 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.
kuramoto-model
Coupled oscillators with sinusoidal coupling
l-space
L-Space Skill: The Library of All Libraries
lambda-calculus
Lambda Calculus Skill
langevin-dynamics
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
lasalle-invariance
Invariance principle for asymptotic stability
latent-latency
Latent-Latency Skill
lead-research-assistant
Identifies high-quality leads for your product or service by analyzing
lean-proof-walk
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.
let-fate-decide
Draws 4 Tarot cards using os.urandom() to inject entropy into planning when prompts are vague or underspecified. Interprets the spread to guide next steps. Use when the user is nonchalant, feeling lucky, says 'let fate decide', makes Yu-Gi-Oh references ('heart of the cards'), demonstrates indifference about approach, or says 'try again' on a system with no changes. Also triggers on sufficiently ambiguous prompts where multiple approaches are equally valid.
levin-levity
Leonid Levin''''s algorithmic complexity meets playful mutual ingression. Use for: BB(n) prediction markets, Kolmogorov complexity rewards, WEV extraction from proof inefficiencies, Nash equilibrium between exploration (LEVITY) and convergence (LEVIN).
levity-levin
Playful mutual ingression meets Leonid Levin's algorithmic bounds. Use for: playful exploration with theoretical guarantees, mutual ingression with convergence proofs, emergent solutions within complexity bounds, social computation meeting algorithmic optimality.
libafl
Fuzzing framework LibAFL for custom fuzzing campaigns.
libfuzzer
Fuzzing with libFuzzer for finding vulnerabilities in code.
limit-set
Asymptotic behavior of trajectories (ω/α-limit sets)
linear-logic
Linear Logic Skill
linearization
Local approximation of nonlinear dynamics
livekit-omnimodal
LiveKit omni-modal continuous coaching with stick-breaking color selection,
load-skills
Bootstrap 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.
local-compositionality-gadget
Local Compositionality Gadget
local-finetune
local-finetune
localsend-analysis
Analyze LocalSend repos with tree-sitter tags, gh GraphQL contributor snapshots, and protocol safety notes.
low-discrepancy-sequences
low-discrepancy-sequences skill
lyapunov-function
Scalar function decreasing along trajectories
lyapunov-stability
Stability via Lyapunov's direct method
magic-todo-watch-deploy
Build, deploy, and manage the MagicTodoWatch iOS/watchOS voice-to-task pipeline app. Use when building for device or simulator, fixing Xcode project issues, or running the 7-world backend pipeline.
managing-cloud-identity-with-okta
>
managing-intelligence-lifecycle
>
manifest-privilege-validator
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
map-projection
Map Projection Skill
mapping-mitre-attack-techniques
>
markov-game-acset
markov-game-acset skill
mcp-spec-checker
Predicate-level semantic diff for MCP protocol specs. Compares 0618 vs 1125 specs via Narya types, GF(3) evaluators, and Unison-style effects. Use for protocol verification, spec migration, or detecting breaking changes.
mdm-cobordism
macOS MDM with auth manifolds as cobordisms for credential derivation
media
Media processing = ffmpeg + imagemagick + sox.
meeting-insights-analyzer
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
merkle-proof-validation
Merkle Proof Validation Skill
mermaid-reverse-attempt
Mermaid URL codec - encodes/decodes #base64: (amp CLI) and #pako: (mermaid.live) formats
mitm
Track and summarize man-in-the-middle mentions across local corpora and history; use for MITM audits, searches, and reporting.
mlx-apple-silicon
Run LLMs on Apple Silicon with MLX/mlx_lm - unified memory, 4-bit quantization, streaming generation, prompt caching. Optimal for M-series chips.
mlx-jax-splitmix
MLX on Apple Silicon with JAX-style SplitMix64 PRNG. Deterministic color generation with GPU acceleration.
performing-wifi-password-cracking-with-aircrack
>
modelica
Modelica acausal equation-based multi-domain modeling via Wolfram Language. Chemputation-native simulation with automatic conservation laws. Lambda-Modelica bridge for string diagram semantics. Fixed point classification for 3-coloring/3-MATCH systems.
monitoring-darkweb-sources
>
monitoring-scada-modbus-traffic-anomalies
>
moth-actias
Moth's Actias quantum synth for qubit sonification with Bloch sphere visualization and MIDI control
Page 19 of 41 · 2048 results