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