ramanujan-expander
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth
发现 测试与安全 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth
Comprehensive Artificial Life skill combining ALIFE2025 proceedings,
Triangle Metrics Skill
Toolkit for styling artifacts with a theme. These artifacts can be slides,
Invariant set attracting nearby trajectories
Synthetic adjunctions in directed type theory for ∞-categorical universal
NERV - Rapid LocalSend Test with Voice
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...
Deterministic color generation with SplitMix64, GF(3) trits, and MCP. Colors are the perceptual rendering of solved constraint systems.
Guide for creating effective skills. Use when users want to create a
SLIME integration for Common Lisp development
Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
Badiou-inspired possible world navigation using triangle inequality constraints, event ontology, and truth procedures for traversing mathematical possibility space.
Non-Archimedean distance metrics for hierarchical clustering and p-adic analysis
Schmidhuber's compression progress as intrinsic curiosity reward for
Latent-Latency Skill
Coecke's Quantum Guitar: quantising guitar strings via qubit association, ZX-calculus notation, Moth Actias synth integration
Cognitive superposition synthesizing Riehl (∞-categories), Sutskever
Janus and reversible languages: run programs backwards, time-symmetric computation.
cat Skill: Derivational Pipe Chaining
Rubato Composer integration for Mazzola's mathematical music theory
Debug and simulate ghostly phenomena using ordered locale theory and trifurcated interactions
Analyzes SMACK policy files for correctness, label conflicts, and access control issues. Verifies mandatory access control rules.
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。