Rechercher

PythonReactSEOPDF

Skills IA Documentation

Découvrez les skills Documentation, comparez leurs dépôts et consultez leurs instructions.

Catégories: Documentation

32,161–32,184 sur 83,400

Documentation Effacer les filtres

Explorer

GitHub

constant-time-analysis

plurigrid

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...

GitHub

koopman-generator

plurigrid

Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.

GitHub

triadic-skill-orchestrator

plurigrid

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...

GitHub

acsets-algebraic-databases

plurigrid

ACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.

GitHub

substrate-vulnerability-scanner

plurigrid

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

sicp

plurigrid

SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design

GitHub

anima-theory

plurigrid

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

babashka-clj

plurigrid

Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.

GitHub

bdd-mathematical-verification

plurigrid

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é.

Plus de filtres

Popularité

Tags populaires