GitHub
time-travel-crdt
Time Travel CRDT Skill
☆ 5View skill
Testing & security AI Skills
Discover Testing & security skills, compare source repositories and read the instructions for each workflow.
Categories: Testing & security
Testing & security Clear filters
Browse skills
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
GitHub
privilege-declaration-generator
Generates tizen-manifest.xml and config.xml privilege declarations. Auto-detects required privileges from app source code.
☆ 5View skill
GitHub
rama-gay-zig
rama-gay-zig skill
☆ 5View skill
GitHub
discopy-operads
DiscoPy Operads Skill
☆ 5View skill
GitHub
koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
☆ 5View skill
GitHub
discohy-streams
DisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variants
☆ 5View skill
GitHub
active-interleave
Active Interleave Skill
☆ 5View skill
GitHub
cognitive-surrogate
cognitive-surrogate skill
☆ 5View skill
GitHub
behaviour-surprisal-analysis
Behaviour Surprisal Analysis
☆ 5View skill
GitHub
smack-policy-generator
Generates SMACK policy files from app requirements. Creates mandatory access control rules for process isolation and resource access.
☆ 5View skill
GitHub
mbius-path-filtering
Non-orientable topological filtering that eliminates self-revisiting paths
☆ 5View skill
GitHub
acsets-hatchery
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
☆ 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.