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.
markov-game-acset
markov-game-acset skill
mapping-mitre-attack-techniques
>
manifest-privilege-validator
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
managing-intelligence-lifecycle
>
managing-cloud-identity-with-okta
>
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.
lyapunov-stability
Stability via Lyapunov's direct method
lyapunov-function
Scalar function decreasing along trajectories
low-discrepancy-sequences
low-discrepancy-sequences skill
localsend-analysis
Analyze LocalSend repos with tree-sitter tags, gh GraphQL contributor snapshots, and protocol safety notes.
local-finetune
local-finetune
local-compositionality-gadget
Local Compositionality Gadget
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.
livekit-omnimodal
LiveKit omni-modal continuous coaching with stick-breaking color selection,
linearization
Local approximation of nonlinear dynamics
linear-logic
Linear Logic Skill
limit-set
Asymptotic behavior of trajectories (ω/α-limit sets)
libfuzzer
Fuzzing with libFuzzer for finding vulnerabilities in code.
libafl
Fuzzing framework LibAFL for custom fuzzing campaigns.
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.
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).
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.
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.
lead-research-assistant
Identifies high-quality leads for your product or service by analyzing
latent-latency
Latent-Latency Skill
lasalle-invariance
Invariance principle for asymptotic stability
langevin-dynamics
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
lambda-calculus
Lambda Calculus Skill
l-space
L-Space Skill: The Library of All Libraries
kuramoto-model
Coupled oscillators with sinusoidal coupling
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.
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.
kscale-actuator
Rust library for controlling actuators (Robstride servo motors) on K-Scale robots. CAN bus communication, position/velocity/torque control.
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.
kolmogorov-onsager-hurst
Turbulence scaling theory: K41 energy cascade, Onsager's anomalous dissipation, and Hurst exponent for long-range dependence
kolmogorov-codex-quest
Kolmogorov Codex Quest
kinfer-runtime
K-Scale kinfer model inference engine for deploying trained RL policies to real robots via ONNX Runtime in Rust
implementing-passwordless-authentication-with-fido2
Deploy FIDO2/WebAuthn passwordless authentication using security keys and platform authenticators. Covers WebAuthn API integration, FIDO2 server configuration, passkey enrollment, biometric authentica
implementing-passwordless-auth-with-microsoft-entra
>
implementing-pam-for-database-access
Deploy privileged access management for database systems including Oracle, SQL Server, PostgreSQL, and MySQL. Covers session proxy configuration, credential vaulting, query auditing, dynamic credentia
implementing-ot-network-traffic-analysis-with-nozomi
>
implementing-ot-incident-response-playbook
>
implementing-opa-gatekeeper-for-policy-enforcement
Enforce Kubernetes admission policies using OPA Gatekeeper with ConstraintTemplates, Rego rules, and the Gatekeeper policy library.
implementing-next-generation-firewall-with-palo-alto
Configure and deploy Palo Alto Networks next-generation firewalls with App-ID, User-ID, zone-based policies, SSL decryption, and threat prevention profiles for enterprise network security.
implementing-network-traffic-baselining
Build network traffic baselines from NetFlow/IPFIX data using Python pandas for statistical analysis, z-score anomaly detection, and hourly/daily traffic pattern profiling
implementing-network-traffic-analysis-with-arkime
>-
implementing-network-segmentation-with-firewall-zones
Design and implement network segmentation using firewall security zones, VLANs, ACLs, and microsegmentation policies to restrict lateral movement and enforce least-privilege network access.
implementing-network-segmentation-for-ot
>
implementing-network-policies-for-kubernetes
Kubernetes NetworkPolicies provide pod-level network segmentation by defining ingress and egress rules that control traffic flow between pods, namespaces, and external endpoints. Combined with CNI plu
Page 850 of 1486 · 74266 results
