GitHub
linearization
Local approximation of nonlinear dynamics
Explorer
Explorez des skills pour le développement, le contenu, les données et la productivité. Comparez les descriptions et dépôts.
Catégories
Explorer
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.
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)
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é.