GitHub
three-match
3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction
☆ 5查看技能
文档写作 AI 技能
发现 文档写作 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 文档写作
文档写作 清除筛选
全部技能
GitHub
derangement-crdt
Derangement-CRDT Skill
☆ 5查看技能
GitHub
duckdb-quadruple-interleave
Chaotic interleaving across local DuckDB databases modeled as coupled quadruple pendula. Random walks both BETWEEN databases and WITHIN tables for context injection.
☆ 5查看技能
GitHub
bifurcation-generator
Generate bifurcation diagrams for dynamical systems. Use when visualizing parameter-dependent behavior transitions.
☆ 5查看技能
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
☆ 5查看技能
GitHub
playwright
Browser automation via Playwright MCP. Use for web scraping, taking screenshots, interacting with web pages, testing web UIs, and automating browser tasks. Headless browser support.
☆ 5查看技能
GitHub
lyapunov-function
Scalar function decreasing along trajectories
☆ 5查看技能
GitHub
hopf
Bifurcation creating limit cycle from equilibrium
☆ 5查看技能
GitHub
sarif-parsing
Parse, analyze, and process SARIF (Static Analysis Results Interchange Format) files. Use when reading security scan results, aggregating findings from multiple tools, deduplicating alerts, extracting specific...
☆ 5查看技能
GitHub
tripartite-decompositions
GF(3)-balanced structured decompositions for parallel computation. Decomposes problems into MINUS/ERGODIC/PLUS components with sheaf-theoretic gluing. Use for FPT algorithms, skill allocation, or any 3-way para...
☆ 5查看技能
GitHub
splitmixternary-opine
Political Repetition as Hyperrealpolitik - deterministic opinion formation via SplitMixTernary across all encountered languages. The eternal return of the trit.
☆ 5查看技能
GitHub
ramanujan-expander
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth
☆ 5查看技能
GitHub
alife
Comprehensive Artificial Life skill combining ALIFE2025 proceedings,
☆ 5查看技能
GitHub
triangle-metrics
Triangle Metrics Skill
☆ 5查看技能
GitHub
theme-factory
Toolkit for styling artifacts with a theme. These artifacts can be slides,
☆ 5查看技能
GitHub
attractor
Invariant set attracting nearby trajectories
☆ 5查看技能
GitHub
synthetic-adjunctions
Synthetic adjunctions in directed type theory for ∞-categorical universal
☆ 5查看技能
GitHub
nerv
NERV - Rapid LocalSend Test with Voice
☆ 5查看技能
GitHub
mcp-spec-checker
Predicate-level semantic diff for MCP protocol specs. Compares 0618 vs 1125 specs via Narya types, GF(3) evaluators, and Unison-style effects. Use for protocol verification, spec migration, or detecting breakin...
☆ 5查看技能
GitHub
gay-mcp
Deterministic color generation with SplitMix64, GF(3) trits, and MCP. Colors are the perceptual rendering of solved constraint systems.
☆ 5查看技能
GitHub
skill-creator
Guide for creating effective skills. Use when users want to create a
☆ 5查看技能
GitHub
slime-lisp
SLIME integration for Common Lisp development
☆ 5查看技能
GitHub
plurigrid-asi-integrated
Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
☆ 5查看技能
GitHub
world-hopping
Badiou-inspired possible world navigation using triangle inequality constraints, event ontology, and truth procedures for traversing mathematical possibility space.
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。