GitHub
derangement-reflow
derangement-reflow skill
☆ 5View skill
Documentation AI Skills
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
Categories: Documentation
Documentation Clear filters
Browse skills
GitHub
constant-time-analysis
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...
☆ 5View skill
GitHub
universal-captp-derivation
Universal CapTP Derivation Skill
☆ 5View skill
GitHub
ordered-locale
Ordered Locale Skill
☆ 5View skill
GitHub
algorithmic-art
Creating algorithmic art using p5.js with seeded randomness and interactive
☆ 5View skill
GitHub
mermaid-reverse-attempt
Mermaid URL codec - encodes/decodes #base64: (amp CLI) and #pako: (mermaid.live) formats
☆ 5View skill
GitHub
koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
☆ 5View skill
GitHub
structural-stability
Robustness of qualitative dynamics under perturbation
☆ 5View skill
GitHub
lasalle-invariance
Invariance principle for asymptotic stability
☆ 5View skill
GitHub
triadic-skill-orchestrator
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...
☆ 5View skill
GitHub
skill-dispatch
GF(3) Triadic Task Routing for Subagent Orchestration
☆ 5View skill
GitHub
time-travel-crdt
Time Travel CRDT Skill
☆ 5View skill
GitHub
entropy-sequencer
Layer 5: Interaction Interleaving for Maximum Information Gain
☆ 5View skill
GitHub
ocaml
OCaml ecosystem = opam + dune + merlin + ocamlformat.
☆ 5View skill
GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.
☆ 5View skill
GitHub
constraint-generalization
Generalization and composition of constraints across navigators
☆ 5View skill
GitHub
emacs
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
☆ 5View skill
GitHub
substrate-vulnerability-scanner
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...
☆ 5View skill
GitHub
stellogen
Stellogen Skill
☆ 5View skill
GitHub
sicp
SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design
☆ 5View skill
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...
☆ 5View skill
GitHub
datalog-fixpoint
Datalog bottom-up fixpoint iteration for recursive queries
☆ 5View skill
GitHub
babashka-clj
Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.
☆ 5View skill
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...
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.