linearization
Local approximation of nonlinear dynamics
探索开发、内容、数据与办公效率等 AI 技能。先比较用途和仓库热度,再查看技能说明与来源。
Local approximation of nonlinear dynamics
Integration with OSS-Fuzz for continuous fuzzing.
Adhesive categories for incremental query updating and pattern rewriting
Bridge to PKG systems (Mem0, Graphiti, Solid PODs, Logseq) for individuated information indices
Semantic embeddings for Clojure code navigation via CIDER
Replace temporal succession with derivational chains using deterministic seeds and GF(3) invariants.
zig-programming skill
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...
Aptos Wallet MCP Skill
Cronin's Turing-complete chemputer for programmable chemical synthesis
DeepWiki MCP server for AI-powered GitHub repository documentation and
World ALICE Skill
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
CapTP: Capability Transfer Protocol
Guide users through a structured workflow for co-authoring documentation.
Coalgebraic observation of derivation streams with final coalgebra bisimulation
Joker Lint Skill
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
Kolmogorov Codex Quest
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
Pun Decomposition Skill (MINUS -1)
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。