GitHub
polyglot-spi
Cross-Language Strong Parallelism Invariance Verification for 15+ languages
Skills IA Entreprise
Découvrez les skills Entreprise, comparez leurs dépôts et consultez leurs instructions.
Catégories: Entreprise
Entreprise Effacer les filtres
Explorer
GitHub
drive-acset
Google Drive management via DriveACSet schema with GF(3) triadic routing. Transforms files/folders into typed Interactions, routes to queue fibers, detects saturation for organized-drive-as-condensed-state.
GitHub
semgrep
Run Semgrep static analysis for fast security scanning and pattern matching. Use when asked to scan code with Semgrep, write custom YAML rules, find vulnerabilities quickly, use taint mode, or set up Semgrep in...
GitHub
cats-for-ai
cats.for" (Categories for AI)
GitHub
testing-handbook-generator
Generates comprehensive testing handbooks and guides for security testing strategies.
GitHub
tenderloin
Tenderloin: Manifest Destiny Fund for Protocol Labs
GitHub
intent-sink
Intent Sink Skill
GitHub
trifurcated-transfer
Trifurcated Transfer Skill
GitHub
crn-topology
Chemical Reaction Network topology for generating and analyzing reaction
GitHub
lhott-cohesive-linear
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
GitHub
jaxlife-open-ended
JaxLife open-ended agentic simulator for emergent behavior, tool use,
GitHub
cognitive-surrogate
Layer 6 Barton Cognitive Surrogate - build, train, validate psychological models with >90% fidelity
GitHub
structured-decomp
StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms
GitHub
curiosity-driven
Schmidhuber's curiosity-driven learning: Intrinsic motivation via compression progress. Seek states that improve world model.
GitHub
discrete-backprop
Gradient-free optimization via discrete perturbations and trit-based learning
GitHub
wev-verification
WEV Verification Skill
GitHub
true-alife
TrueALIFE: Self-Indexing Automata at the Edge of Chaos
GitHub
harness-writing
Writing effective fuzzing harnesses for security testing.
GitHub
cider-clojure
CIDER integration for Clojure development with nREPL
GitHub
domain-name-brainstormer
Generates creative domain name ideas for your project and checks availability
GitHub
compositional-acset-comparison
Compositional algorithm and data analysis via algebraic databases
GitHub
substitute-eraser
This skill should be used when the user asks to "scan for TODOs", "find placeholders", "clean up stubs", "remove temporary code", "audit for incomplete code", or "erase substitutions from codebase". Scans exist...
GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
GitHub
proof-of-frog
Proof-of-Frog Skill 🐸
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é.