derangement-reflow
derangement-reflow skill
Découvrez les skills Documentation, comparez leurs dépôts et consultez leurs instructions.
derangement-reflow skill
Detects timing side-channel vulnerabilities in cryptographic code. Use when implementing or reviewing crypto code, encountering division on secrets, secret-dependent branches, or constant-time programming quest...
Universal CapTP Derivation Skill
Ordered Locale Skill
Creating algorithmic art using p5.js with seeded randomness and interactive
Mermaid URL codec - encodes/decodes #base64: (amp CLI) and #pako: (mermaid.live) formats
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
Robustness of qualitative dynamics under perturbation
Invariance principle for asymptotic stability
Orchestrates multiple skills in GF(3)-balanced triplets. Assigns MINUS/ERGODIC/PLUS trits to skills ensuring conservation. Use for multi-skill workflows, parallel skill dispatch, or maintaining GF(3) invariants...
GF(3) Triadic Task Routing for Subagent Orchestration
Time Travel CRDT Skill
Layer 5: Interaction Interleaving for Maximum Information Gain
OCaml ecosystem = opam + dune + merlin + ocamlformat.
ACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.
Generalization and composition of constraints across navigators
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weights, and bad origin checks. Use when auditing Substrate runtimes or FRAME pallets. (projec...
Stellogen Skill
SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design
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...
Datalog bottom-up fixpoint iteration for recursive queries
Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpe...
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é.