Découvrez les skills DevOps, comparez leurs dépôts et consultez leurs instructions.
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpe...
Generates tizen-manifest.xml and config.xml privilege declarations. Auto-detects required privileges from app source code.
rama-gay-zig skill
DiscoPy Operads Skill
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
DisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variants
Active Interleave Skill
cognitive-surrogate skill
Behaviour Surprisal Analysis
Generates SMACK policy files from app requirements. Creates mandatory access control rules for process isolation and resource access.
Non-orientable topological filtering that eliminates self-revisiting paths
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
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 clas...
Kinetic Block Skill
Critical opalescence at phase transitions: diverging correlation length, light scattering, and the visual signature of criticality in fluids, proteins, and complex systems
shadow-goblin
Translate programming concepts to biological parallels using real ontology terms from EBI OLS.
Rapidly find and reclaim disk storage by identifying build artifacts, git garbage, temp files, and other space hogs. Use when disk is full or running low on space.
Automate QA regression testing with reusable test skills. Create login
Toolkit for creating animated GIFs optimized for Slack, with validators
Coordinate changes preserving dynamics
LiveKit omni-modal continuous coaching with stick-breaking color selection,
Bifurcation exchanging stability between equilibria
Verify GF(3) skill conservation on pull requests. Ensures every contribution
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.