Skill Codex
Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy for reactions.
not rated 62
+1 2mo ago A SkillSpector: pass 27 tokens
original MIT
62Stars on the repository
198Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Skill Codex
Category: Phase 3 Core - Self-Organization Status: Skeleton Implementation Dependencies: sheaf-theoretic-coordination, chemical-organization-theory.
not rated 62
+1 2mo ago A 0 tokens
original MIT
Skill Codex
Category: Phase 3 Core - Scalable Communication Status: Skeleton Implementation Dependencies: oriented-simplicial-networks (for topological structure).
not rated 62
+1 2mo ago A 0 tokens
original MIT
Skill Codex
Category: Phase 3 Core - Alternative Learning Paradigms Status: Skeleton Implementation Dependencies: None (standalone learning framework).
not rated 62
+1 2mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Codex
Category: Phase 3 Core - Correctness Guarantees Status: Skeleton Implementation Dependencies: categorical-composition (correctness as functoriality).
not rated 62
+1 2mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Codex
Hinton's Forward-Forward algorithm for local learning without backpropagation. Use for biologically plausible learning, on-chip training, memory-efficient networks, or parallel layer-wise training.
not rated 62
+1 2mo ago A SkillSpector: pass 40 tokens
original MIT
Skill Codex
Free Monad Generation Skill (PLUS +1).
not rated 62
+1 2mo ago A SkillSpector: pass 14 tokens
original MIT
gflownet
56Skill Codex
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
not rated 62
+1 2mo ago A SkillSpector: warn 36 tokens
original MIT
Skill Codex
Schmidhuber's Gödel Machine: Self-improving systems that prove their own improvements. Darwin Gödel Machine (DGM) combines evolution with formal verification.
not rated 62
+1 2mo ago A SkillSpector: pass 38 tokens
original MIT
ihara-zeta
58Skill Codex
Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).
not rated 62
+1 2mo ago A SkillSpector: warn 31 tokens
original MIT
Skill Codex
JaxLife open-ended agentic simulator for emergent behavior, tool use, and cultural accumulation. Use for artificial life simulations, emergent agent behavior, and open-ended evolution research.
not rated 62
+1 2mo ago A SkillSpector: pass 42 tokens
original MIT
Skill Codex
Kan Extensions Skill (ERGODIC 0).
not rated 62
+1 2mo ago A SkillSpector: pass 14 tokens
original MIT
Skill Codex
Kolmogorov complexity as the ultimate intelligence measure. Shortest program that outputs data.
not rated 62
+1 2mo ago A SkillSpector: pass 25 tokens
original MIT
Skill Codex
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.
not rated 62
+1 2mo ago A SkillSpector: pass 27 tokens
original MIT
Skill Codex
Category: Theorem Dependency Analysis Type: Graph Path Classification Language: Julia Status: Production Ready Version: 1.0.0 Date: December 22, 2025.
not rated 62
+1 2mo ago A 0 tokens
original MIT
Skill Codex
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
not rated 62
+1 2mo ago A SkillSpector: warn 36 tokens
original MIT
open-games
65Skill Codex
Open Games Skill (ERGODIC 0).
not rated 62
+1 2mo ago A 13 tokens
original MIT
Skill Codex
Operad Composition Skill (PLUS +1).
not rated 62
+1 2mo ago A SkillSpector: pass 13 tokens
original MIT
Skill Codex
Category: Phase 3 Core - Geometric Deep Learning Status: Skeleton Implementation Dependencies: categorical-composition, persistent-homology.
not rated 62
+1 2mo ago A 0 tokens
original MIT
Skill Codex
Metaskill that fans out on every interaction, using interaction entropy as SplitMixTernary seed for maximum synergistic parallelism.
not rated 62
+1 2mo ago A SkillSpector: pass 31 tokens
original MIT
Skill Codex
Topological data analysis for stable feature verification across filtrations of code complexity.
not rated 62
+1 2mo ago A SkillSpector: warn 20 tokens
original MIT
Skill Codex
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth rules. Optimal expanders with λ₂ ≤ 2√(d-1) bound.
not rated 62
+1 2mo ago A SkillSpector: warn 41 tokens
original MIT
rezk-types
71Skill Codex
Rezk types (complete Segal spaces). Local univalence: categorical isomorphisms ≃ type-theoretic identities.
not rated 62
+1 2mo ago A SkillSpector: pass 30 tokens
original MIT
Skill Codex
Category: Graph Optimization + Remediation Type: Strategic Edge Removal Analysis Language: Julia Status: Production Ready Version: 1.0.0 Date: December 22, 2025.
not rated 62
+1 2mo ago A SkillSpector: pass 0 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: