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,
geomstats-fisher-rao <<<<<<< HEAD
Information geometry for Bayesian inference. Fisher-Rao metric on statistical manifolds, Riemannian optimization for model selection, Wasserstein geodesics connecting geomstats to Gromov-Wasserstein optimal transport.
geb-categorical-computation
- **Source**: https://github.com/bmorphism/geb
ga-derived-category
Derived categories and derived functors for graded Clifford modules.
ga-central-extensions
Central extensions of rotation groups via Clifford algebras and spinor covering spaces.
ga-abelian-extensions
Abelian extensions for Clifford algebra grade filtrations via Ext functors.
flexible-algebra
A **flexible T-algebra** is a strict T-algebra that admits enough "room to move" — it is a retract (in the pseudo-morphism category T-Alg) of a free algebra. Flexible algebras are the key to constructing bicolimits in categories of algebras and establishing the BKP biadjunction theorem.
exa-11-directions
1. **Category Theory & ACSet Implementations** - Categorical data structures, functorial programming
ergodic-coordinator
Completes the GF(3) triad: `+1 + (-1) + 0 = 0`
entropy-regularized-inference
- User asks about connecting active inference to practical RL
energy-dynamics-acset
The Energy Dynamics ACSet integrates three complementary frameworks for measuring and composing computational skills through physics-motivated information theory:
energy-dominance
US National Energy Dominance Council framework integrated with Plurigrid decentralized infrastructure, SMRs, and GF(3)-conserved coordination protocols.
energy-awareness
Battery cycle clock with interaction entropy and ontology reconfiguration for computational resource awareness.
emacspeak-binaural <<<<<<< HEAD
Replace emacspeak auditory icons with binaural beats using the sound theme system. Load when customizing emacspeak sounds, creating new sound themes, or working with binaural audio on macOS with SwiftMac TTS. >>>>>>> origin/main
egpu <<<<<<< HEAD
External GPU technology fundamentals, Thunderbolt bandwidth math, hotplug detection, workload migration, and Basin's eGPU infrastructure (basin-display, basin-gpu). Use when working with eGPU detection, GPU failover, Thunderbolt networking, or multi-GPU workload routing. >>>>>>> origin/main
Page 512 of 1645 · 82246 results