GitHub
topos-adhesive-rewriting
Adhesive categories for incremental query updating and pattern rewriting
☆ 5View skill
Documentation AI Skills
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
Categories: Documentation
Documentation Clear filters
Browse skills
GitHub
pkg-memory-bridge
Bridge to PKG systems (Mem0, Graphiti, Solid PODs, Logseq) for individuated information indices
☆ 5View skill
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
☆ 5View skill
GitHub
unworld
Replace temporal succession with derivational chains using deterministic seeds and GF(3) invariants.
☆ 5View skill
GitHub
zig-programming
zig-programming skill
☆ 5View 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...
☆ 5View skill
GitHub
aptos-wallet-mcp
Aptos Wallet MCP Skill
☆ 5View skill
GitHub
turing-chemputer
Cronin's Turing-complete chemputer for programmable chemical synthesis
☆ 5View skill
GitHub
deepwiki-mcp
DeepWiki MCP server for AI-powered GitHub repository documentation and
☆ 5View skill
GitHub
alice
World ALICE Skill
☆ 5View skill
GitHub
condensed-analytic-stacks
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
☆ 5View skill
GitHub
captp
CapTP: Capability Transfer Protocol
☆ 5View skill
GitHub
doc-coauthoring
Guide users through a structured workflow for co-authoring documentation.
☆ 5View skill
GitHub
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation
☆ 5View skill
GitHub
joker-lint
Joker Lint Skill
☆ 5View skill
GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
☆ 5View skill
GitHub
kolmogorov-codex-quest
Kolmogorov Codex Quest
☆ 5View skill
GitHub
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
☆ 5View skill
GitHub
haskell-diagrams
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
☆ 5View skill
GitHub
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
☆ 5View skill
GitHub
cynara-policy-checker
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
☆ 5View skill
GitHub
pun-decomposition
Pun Decomposition Skill (MINUS -1)
☆ 5View skill
GitHub
anoma-intents
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
☆ 5View skill
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.