invoice-organizer
Automatically organizes invoices and receipts for tax preparation by
iot-device-provisioning
Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.
iroh-p2p
Build modern peer-to-peer applications with Iroh. QUIC-based P2P networking, hole punching, content distribution, and decentralized data synchronization.
jacobian
Matrix of partial derivatives for linearization
jank
jank-lang: native Clojure on LLVM with seamless C++ interop. Use when writing native Clojure, bridging C/C++ libraries, or applying SICP Ch4-5 metalinguistic abstraction concretely.
javascript-typescript
JavaScript and TypeScript development with ES6+, Node.js, React, and
jaxlife-open-ended
JaxLife open-ended agentic simulator for emergent behavior, tool use, and cultural accumulation. Use for artificial life simulations, emergent agent behavior, and open-ended evolution research.
jepsen-testing
Jepsen-style correctness testing for distributed systems under faults (partitions, crashes, clock skew) using concurrent operation histories and formal checkers (linearizability/serializability and Elle-style anomalies). Use when designing, implementing, or running Jepsen tests, or interpreting histories/violations.
jira-issues
Create, update, and manage Jira issues from natural language. Use when the user wants to log bugs, create tickets, update issue status, or manage their Jira backlog.
job-application
Write tailored cover letters and job applications using your CV and preferred
joker-lint
Joker Lint Skill
julia-gay
Gay.jl integration for deterministic color generation. SplitMix64 RNG, GF(3) trits, and SPI-compliant fingerprints in Julia.
julia-scientific
Julia package equivalents for 137 K-Dense-AI scientific skills. Maps Python bioinformatics, chemistry, ML, quantum, and data science packages to native Julia ecosystem.
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
kan-extensions
Kan Extensions Skill (ERGODIC 0)
kbot-humanoid
K-Bot humanoid robot platform - hardware specs, MJCF models, and deployment configurations. The flagship K-Scale humanoid robot.
keychain-secure
macOS Keychain credential management with GF(3) balanced operations
Kinesis Advantage360 Pro (KB360 Pro)
Official Kinesis Advantage360 Professional (ZMK / Clique) keyboard usage: layers, Bluetooth profiles, Mod shortcuts, Clique programming, ergonomics, troubleshooting, and document URLs from kinesis-ergo.com/support/kb360pro. Use when configuring, pairing, resetting firmware, or answering questions about this split ergonomic keyboard.
kinetic-block
Kinetic Block Skill
kinfer-runtime
K-Scale kinfer model inference engine for deploying trained RL policies to real robots via ONNX Runtime in Rust
kolmogorov-codex-quest
Kolmogorov Codex Quest
kolmogorov-compression
Kolmogorov complexity as the ultimate intelligence measure. Shortest program that outputs data.
kolmogorov-onsager-hurst
Turbulence scaling theory: K41 energy cascade, Onsager's anomalous dissipation, and Hurst exponent for long-range dependence
koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
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
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.
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
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.
lhott-cohesive-linear
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
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)
linearization
Local approximation of nonlinear dynamics
linear-logic
Linear Logic Skill
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style deriving
little-schemer
Little Schemer Skill
livekit-omnimodal
LiveKit omni-modal continuous coaching with stick-breaking color selection,
llm-application-dev
Building applications with Large Language Models - prompt engineering, RAG patterns, and LLM integration. Use for AI-powered features, chatbots, or LLM-based automation.
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
Page 663 of 1692 · 84600 results
