ffmpeg-media
FFmpeg media processing. Video/audio transcoding, stream manipulation, and filter graphs.
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
FFmpeg media processing. Video/audio transcoding, stream manipulation, and filter graphs.
Quarto + Julia Skill
Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when pro...
Type Checker Skill
Navigate skill graphs via deterministic random walks. Fuses derivational chains, algebraic structure, color determinism, and bidirectional flow for skill recombination.
local-finetune
QUIC channel quality grading with BBRv3 congestion control analysis. Classifies network paths into GF(3) tiers based on RTT, bandwidth, loss, and pacing efficiency. Integrates with Iroh P2P and world-letter cro...
fnox Secrets Management Skill
Run self-validation loops for triadic color systems using prediction
SKILL: Duck Time Travel
oapply: Operad algebra evaluation via colimits. Composes machines/resource sharers.
Layer 4: Derivational Pattern Generation via Seed Chaining
WebGPU tile rendering for Rio Terminal via wgpu and sugarloaf. Extends
Measure preserved by the flow
Rust package manager and build system. Cargo commands, dependency management, and workspace patterns.
Topos Institute's CatColab for collaborative category theory - community model building, double theories, stock and flow epidemiology, and real-time collaborative diagramming via Automerge CRDT.
Möbius inversion for Gay.jl color duality - closes sparsification spine gap
Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.
Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing practices, access controls, complexity, decentralization, documentation, MEV risk...
Moth's Actias quantum synth for qubit sonification with Bloch sphere visualization and MIDI control
Hinton's Forward-Forward algorithm for local learning without backpropagation.
Radare2 Hatchery
Dialectica Skill (ERGODIC 0)
Qualitative behavior of solutions near equilibria
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.