Skill Codex
Topological data analysis for stable feature verification across filtrations of code complexity.
not rated 70
+3 3mo 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 70
+3 3mo ago A SkillSpector: warn 41 tokens
original MIT
rezk-types
75Skill Codex
Rezk types (complete Segal spaces). Local univalence: categorical isomorphisms ≃ type-theoretic identities.
not rated 70
+3 3mo 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 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
segal-types
77Skill Codex
Segal types for synthetic ∞-categories. Binary composites exist uniquely up to homotopy. Foundation for topological chemputer.
not rated 70
+3 3mo ago A SkillSpector: pass 31 tokens
original MIT
Skill Codex
Darwin Gödel Machine patterns for self-improving AI agents with open-ended code evolution. Use for building agents that autonomously improve their own capabilities, modify their codebases, and evolve through interaction.
not rated 70
+3 3mo ago A SkillSpector: pass 46 tokens
original MIT
Skill Codex
Čech cohomology for local-to-global consistency verification in code structure and data schemas.
not rated 70
+3 3mo ago A SkillSpector: pass 24 tokens
original MIT
Skill Codex
Sheaf neural network coordination via graph Laplacians for distributed consensus and harmonic inference. Use when coordinating multi-agent systems, building sheaf-aware GNNs, or implementing distributed consensus protocols.
not rated 70
+3 3mo ago A SkillSpector: pass 47 tokens
original MIT
Skill Codex
Category: Phase 3 Core - Distributed Reasoning Status: Skeleton Implementation Dependencies: oriented-simplicial-networks, categorical-composition.
not rated 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Codex
Category: Theorem Prover Health Monitoring Type: Graph Analysis + Linear Algebra Language: Julia Status: Production Ready Version: 1.0.0 Date: December 22, 2025.
not rated 70
+3 3mo ago A 0 tokens
original MIT
Skill Codex
Category: Theorem Discovery + Comprehension Type: Random Walk Analysis Language: Julia Status: Production Ready Version: 1.0.0 Date: December 22, 2025.
not rated 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Codex
Coalgebraic observation of derivation streams with final coalgebra bisimulation for infinite trace verification.
not rated 70
+3 3mo ago A SkillSpector: warn 25 tokens
original MIT
Skill Codex
Topos Generation Skill (PLUS +1).
not rated 70
+3 3mo ago A SkillSpector: warn 14 tokens
original MIT
Skill Codex
Version: 1.0.0 Status: Production Ready Date: December 22, 2025 Phase: 2 Stage 3 Foundation.
not rated 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Codex
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.
not rated 70
+3 3mo ago A 28 tokens
original MIT
Skill Cursor
Meta-skill that generates domain-specific AI skills from tool documentation.
not rated 70
+3 3mo ago A SkillSpector: warn 21 tokens
original MIT
Skill OpenCode
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: Cucumber/Gherkin for specification RSpec for implementation verification mathpix-gem for LaTeX/mathematical content extraction Pattern matching on syntax…
not rated 70
+3 3mo ago A SkillSpector: pass 89 tokens
original MIT
CRDT Skill
90Skill OpenCode needs its repo
Status: ✅ Production Ready Framework: Jules Hedges' Compositional Game Theory Language: Ruby (HedgesOpenGames module) Trit: ±1 (covariant/contravariant) Integration: Amp, Codex, Music-Topos CRDT.
not rated 70
+3 3mo ago A SkillSpector: pass 3 tokens
original MIT
Skill OpenCode needs its repo
Category: Behavioral Verification | Neural Mechanism Implementation Level: Advanced (Requires understanding of: reafference theory, signal processing, corollary discharge) Status: ✓ COMPLETE & OPERATIONAL Trit Assignment: +1 (PLUS) - Active threat detection & signal amplification Propagates To: codex, claude, amp…
not rated 70
+3 3mo ago A SkillSpector: pass 0 tokens
original MIT
Skill Claude CodeCodex
Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.
not rated 70
+3 3mo ago A 21 tokens
original MIT
Skill Claude CodeCodex
Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.
not rated 70
+3 3mo ago A SkillSpector: pass 18 tokens
original MIT
Skill Claude CodeCodex
Riehl-Shulman covariant fibrations for dependent types over directed intervals in synthetic ∞-categories.
not rated 70
+3 3mo ago A SkillSpector: pass 29 tokens
original MIT
crn-topology
95Skill Claude CodeCodex
Chemical Reaction Network topology for generating and analyzing reaction graph structures.
not rated 70
+3 3mo ago A SkillSpector: pass 17 tokens
original MIT
Skill Claude CodeCodex
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical constructions and model-independence.
not rated 70
+3 3mo ago A SkillSpector: pass 34 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: