GitHub
topos-adhesive-rewriting
Adhesive categories for incremental query updating and pattern rewriting
Skills IA Documentation
Découvrez les skills Documentation, comparez leurs dépôts et consultez leurs instructions.
Catégories: Documentation
Documentation Effacer les filtres
Explorer
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.
GitHub
cynara-policy-checker
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
GitHub
pun-decomposition
Pun Decomposition Skill (MINUS -1)
GitHub
anoma-intents
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
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é.