GitHub
time-travel-crdt
Time Travel CRDT Skill
Skills IA Tests et sécurité
Découvrez les skills Tests et sécurité, comparez leurs dépôts et consultez leurs instructions.
Catégories: Tests et sécurité
Tests et sécurité Effacer les filtres
Explorer
GitHub
entropy-sequencer
Layer 5: Interaction Interleaving for Maximum Information Gain
GitHub
ocaml
OCaml ecosystem = opam + dune + merlin + ocamlformat.
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.
GitHub
constraint-generalization
Generalization and composition of constraints across navigators
GitHub
emacs
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
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...
GitHub
stellogen
Stellogen Skill
GitHub
sicp
SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design
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...
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.
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é.