segal-types
73Skill Codex
Segal types for synthetic ∞-categories. Binary composites exist uniquely up to homotopy. Foundation for topological chemputer.
not rated 62 2mo ago A SkillSpector: pass 31 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
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 62 2mo 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 62 2mo 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 62 2mo 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 62 2mo 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 62 2mo 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 62 2mo 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 62 2mo ago A SkillSpector: warn 25 tokens
original MIT
Skill Codex
Topos Generation Skill (PLUS +1).
not rated 62 2mo 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 62 2mo 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 62 2mo ago A 28 tokens
original MIT
Skill Cursor
Meta-skill that generates domain-specific AI skills from tool documentation.
not rated 62 2mo 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 62 2mo ago A SkillSpector: pass 89 tokens
original MIT
CRDT Skill
86Skill 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 62 2mo 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 62 2mo 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 62 2mo ago A 21 tokens
original MIT
Skill Claude CodeCodex
Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.
not rated 62 2mo 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 62 2mo ago A SkillSpector: pass 29 tokens
original MIT
crn-topology
91Skill Claude CodeCodex
Chemical Reaction Network topology for generating and analyzing reaction graph structures.
not rated 62 2mo 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 62 2mo ago A SkillSpector: pass 34 tokens
original MIT
Skill Claude CodeCodex
Synthetic adjunctions in directed type theory for ∞-categorical universal constructions.
not rated 62 2mo ago A SkillSpector: warn 23 tokens
original MIT
Skill Claude CodeCodex
System 2 attention mechanisms for deliberate, slow reasoning in transformer architectures.
not rated 62 2mo ago A SkillSpector: pass 19 tokens
original MIT
Skill Claude CodeCodex
Cronin's Turing-complete chemputer for programmable chemical synthesis via XDL.
not rated 62 2mo ago A SkillSpector: pass 23 tokens
original MIT
Skill Codex
P2P file transfer with mutual discovery, voice announcements, and redundant connection methods.
not rated 62 2mo ago A SkillSpector: warn 21 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: