GitHub
topos-adhesive-rewriting
Adhesive categories for incremental query updating and pattern rewriting
☆ 5查看技能
文档写作 AI 技能
发现 文档写作 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 文档写作
文档写作 清除筛选
全部技能
GitHub
pkg-memory-bridge
Bridge to PKG systems (Mem0, Graphiti, Solid PODs, Logseq) for individuated information indices
☆ 5查看技能
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
☆ 5查看技能
GitHub
unworld
Replace temporal succession with derivational chains using deterministic seeds and GF(3) invariants.
☆ 5查看技能
GitHub
zig-programming
zig-programming skill
☆ 5查看技能
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...
☆ 5查看技能
GitHub
aptos-wallet-mcp
Aptos Wallet MCP Skill
☆ 5查看技能
GitHub
turing-chemputer
Cronin's Turing-complete chemputer for programmable chemical synthesis
☆ 5查看技能
GitHub
deepwiki-mcp
DeepWiki MCP server for AI-powered GitHub repository documentation and
☆ 5查看技能
GitHub
alice
World ALICE Skill
☆ 5查看技能
GitHub
condensed-analytic-stacks
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
☆ 5查看技能
GitHub
captp
CapTP: Capability Transfer Protocol
☆ 5查看技能
GitHub
doc-coauthoring
Guide users through a structured workflow for co-authoring documentation.
☆ 5查看技能
GitHub
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation
☆ 5查看技能
GitHub
joker-lint
Joker Lint Skill
☆ 5查看技能
GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
☆ 5查看技能
GitHub
kolmogorov-codex-quest
Kolmogorov Codex Quest
☆ 5查看技能
GitHub
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
☆ 5查看技能
GitHub
haskell-diagrams
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
☆ 5查看技能
GitHub
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
☆ 5查看技能
GitHub
cynara-policy-checker
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
☆ 5查看技能
GitHub
pun-decomposition
Pun Decomposition Skill (MINUS -1)
☆ 5查看技能
GitHub
anoma-intents
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
☆ 5查看技能
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。