GitHub
anima-theory
ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understandi...
Skills IA Outils
Découvrez les skills Outils, comparez leurs dépôts et consultez leurs instructions.
Catégories: Outils
Outils Effacer les filtres
Explorer
GitHub
datalog-fixpoint
Datalog bottom-up fixpoint iteration for recursive queries
GitHub
babashka-clj
Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.
GitHub
bdd-mathematical-verification
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpe...
GitHub
privilege-declaration-generator
Generates tizen-manifest.xml and config.xml privilege declarations. Auto-detects required privileges from app source code.
GitHub
rama-gay-zig
rama-gay-zig skill
GitHub
discopy-operads
DiscoPy Operads Skill
GitHub
koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
GitHub
discohy-streams
DisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variants
GitHub
active-interleave
Active Interleave Skill
GitHub
cognitive-surrogate
cognitive-surrogate skill
GitHub
behaviour-surprisal-analysis
Behaviour Surprisal Analysis
GitHub
smack-policy-generator
Generates SMACK policy files from app requirements. Creates mandatory access control rules for process isolation and resource access.
GitHub
mbius-path-filtering
Non-orientable topological filtering that eliminates self-revisiting paths
GitHub
acsets-hatchery
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
GitHub
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 clas...
GitHub
kinetic-block
Kinetic Block Skill
GitHub
critical-opalescence
Critical opalescence at phase transitions: diverging correlation length, light scattering, and the visual signature of criticality in fluids, proteins, and complex systems
GitHub
shadow-goblin
shadow-goblin
GitHub
yb-translator
Translate programming concepts to biological parallels using real ontology terms from EBI OLS.
GitHub
storage-reclaim
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.
GitHub
qa-regression
Automate QA regression testing with reusable test skills. Create login
GitHub
slack-gif-creator
Toolkit for creating animated GIFs optimized for Slack, with validators
GitHub
phase-space-transformation
Coordinate changes preserving dynamics
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é.