ffmpeg-media
FFmpeg media processing. Video/audio transcoding, stream manipulation, and filter graphs.
发现 文档写作 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
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
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。