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
local-finetune
local-finetune
localsend-analysis
Analyze LocalSend repos with tree-sitter tags, gh GraphQL contributor snapshots, and protocol safety notes.
localsend-mcp
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.
low-discrepancy-sequences
low-discrepancy-sequences skill
l-space
L-Space Skill: The Library of All Libraries
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.
mapping-mitre-attack-techniques
>
map-projection
Map Projection Skill
markov-game-acset
markov-game-acset skill
mathpix-ocr
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
mcp-builder
Guide for creating high-quality MCP (Model Context Protocol) servers that enable LLMs to interact with external services through well-designed tools. Use when building MCP servers to integrate external APIs or services, whether in Python (FastMCP) or Node/TypeScript (MCP SDK).
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.
mcp-tripartite
SKILL: MCP Tripartite Integration
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.
möbius-color-duality
Möbius inversion for Gay.jl color duality - closes sparsification spine gap
möbius-path-filtering
Non-orientable topological filtering that eliminates self-revisiting paths
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.
moebius-inversion
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
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
move-smith-fuzzer
Move Smith Fuzzer Skill
mruler
mruler - Meta-Ruler Skill Governance
mujoco-scenes
Package for creating different scenes in MuJoCo. Compose environments with objects, terrains, and obstacles for robot training.
multiversal-finance
Multiversal Finance: Prediction Markets for Interesting Observations
narya-hatchery
Narya Hatchery
narya-proofs
Mechanically verified proofs from Narya event logs. Verifies queue consistency, replay determinism, non-leakage, and GF(3) conservation. Use for proving system invariants, audit trails, or formal verification of event-sourced systems.
naturality-factor
Naturality Factor Skill
nerv
NERV - Rapid LocalSend Test with Voice
network
Network tools = tailscale + curl + ssh + nmap.
networked-system
Dynamical systems on graphs
Page 664 of 1693 · 84607 results
