unwiring-arena
Play/Coplay arena theory for autopoietic closure with GF(3) conservation
urdf2mjcf
Convert URDF robot descriptions to MJCF format for MuJoCo simulation. Handles meshes, joints, actuators, and collision geometries.
uv-oneliners
UV/UVX zero-install Python with comma-syntax deps, justfile patterns, PEP 723 scripts
validating-backup-integrity-for-recovery
>-
variant-analysis
Find similar vulnerabilities and bugs across codebases using pattern-based analysis. Use when hunting bug variants, building CodeQL/Semgrep queries, analyzing security vulnerabilities, or performing systematic code audits after finding an initial issue.
vector-field
Assignment of vectors to points in phase space defining dynamics
Verification & Quality Assurance
Comprehensive truth scoring, code quality verification, and automatic rollback system with 0.95 accuracy threshold for ensuring high-quality agent outputs and codebase reliability.
video-downloader
Downloads videos from YouTube and other platforms for offline viewing,
video-processor
Automated video processing: metadata extraction, thumbnails, transcoding, audio extraction with DuckDB tracking
voice-channel-uwd
Voice Channel UWD Skill
waddington-landscape
Waddington's epigenetic landscape: cell fate as gradient flow on potential surfaces, connecting developmental biology to dynamical systems, Schrödinger bridges, and fractional diffusion
ward-identity-checker
Ward Identity Checker
webapp-testing
Toolkit for interacting with and testing local web applications using
wev-orderless
WEV Orderless — World Extractable Value
wev-tesseract
WEV Tesseract Skill
wev-verification
WEV Verification Skill
whitehole-audio
Modern macOS + tripos audio loopback driver for inter-application audio
workspace-unified
Unified Google Workspace management via WorkspaceACSet. Transforms operations into GF(3)-typed Interactions across Gmail, Drive, Calendar, Tasks, Docs with cross-skill morphisms and MCP↔API equivalence. Use for multi-service workflows or applying ACSet principles to workspace automation.
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.
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
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
möbius-color-duality
Möbius inversion for Gay.jl color duality - closes sparsification spine gap
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
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
nix-acset-worlding
Model Nix store as Attributed C-Set for dependency verification, GC analysis,
oauth-integrations
|
obstruction-learning
Obstruction Learning Skill
ocaml
OCaml ecosystem = opam + dune + merlin + ocamlformat.
olmoearth-mlx
OlmoEarth MLX: Spatio-Temporal Earth Intelligence
onesec-wda
Automate "one sec" app-blocking setup on iOS via Shortcuts automations using WebDriverAgent (WDA). Use when the user wants to bulk-configure one sec for multiple apps on a connected iPhone.
opam-ocaml
OPAM package manager for OCaml. Switch management, dependency resolution, and OCaml toolchain.
opam
OCaml package manager (45 subcommands).
opennirscap-build
Build an OpenNIRScap 24-channel fNIRS brain cap from open-source hardware — Altium conversion, BOM sourcing, PCB fab, assembly, firmware flash
openscad-bci-hardware
Parametric OpenSCAD models for BCI electrode holders, paste adapters, headset hooks, pogo combs, fNIRS housings, and eurorack frames. Use when designing, modifying, or 3D-printing brain-computer interface hardware.
ordered-locale-fanout
UPDATED: Now uses proper ordered-locale (Heunen-van der Schaaf 2024). Cocone construction over triadic ordered locale with open cone condition.
Page 501 of 1656 · 82794 results