GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
Skills IA Outils
Découvrez les skills Outils, comparez leurs dépôts et consultez leurs instructions.
Catégories: Outils
Outils Effacer les filtres
Explorer
GitHub
l-space
L-Space Skill: The Library of All Libraries
GitHub
linearization
Local approximation of nonlinear dynamics
GitHub
ossfuzz
Integration with OSS-Fuzz for continuous fuzzing.
GitHub
topos-adhesive-rewriting
Adhesive categories for incremental query updating and pattern rewriting
GitHub
pkg-memory-bridge
Bridge to PKG systems (Mem0, Graphiti, Solid PODs, Logseq) for individuated information indices
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
GitHub
unworld
Replace temporal succession with derivational chains using deterministic seeds and GF(3) invariants.
GitHub
zig-programming
zig-programming skill
GitHub
exa-search
Use Exa for semantic/neural web search. Exa understands context and returns high-quality results. Use this skill when you need to search the web for documentation, research, or any information that requires und...
GitHub
aptos-wallet-mcp
Aptos Wallet MCP Skill
GitHub
turing-chemputer
Cronin's Turing-complete chemputer for programmable chemical synthesis
GitHub
deepwiki-mcp
DeepWiki MCP server for AI-powered GitHub repository documentation and
GitHub
alice
World ALICE Skill
GitHub
condensed-analytic-stacks
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
GitHub
captp
CapTP: Capability Transfer Protocol
GitHub
doc-coauthoring
Guide users through a structured workflow for co-authoring documentation.
GitHub
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation
GitHub
joker-lint
Joker Lint Skill
GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
GitHub
kolmogorov-codex-quest
Kolmogorov Codex Quest
GitHub
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
GitHub
haskell-diagrams
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
GitHub
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
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é.