unworld
Replace temporal succession with derivational chains using deterministic seeds and GF(3) invariants.
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
world-hopping
Badiou-inspired possible world navigation using triangle inequality constraints, event ontology, and truth procedures for traversing mathematical possibility space.
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
compositional-acset-comparison
Compare data structures (DuckDB, LanceDB) via ACSets with persistent homology coverage analysis and geometric morphism translation.
asi-polynomial-operads
ASI skill integrating polynomial functors, free monad/cofree comonad module action, operadic decomposition, and open games for compositional intelligence.
causal-inference
Bengio's causal inference for AI: Interventional reasoning, counterfactuals, and System 2 deep learning. World models with causal structure.
cognitive-superposition
Cognitive superposition synthesizing Riehl (∞-categories), Sutskever (compression), Schmidhuber (curiosity-driven), and Bengio (GFlowNets) into unified ASI framework with quantum-inspired measurement collapse.
curiosity-driven
Schmidhuber's curiosity-driven learning: Intrinsic motivation via compression progress. Seek states that improve world model.
deepwiki-mcp
DeepWiki MCP server for AI-powered GitHub repository documentation and Q&A
dialectica
Dialectica Skill (ERGODIC 0)
directed-interval
Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy for reactions.
forward-forward-learning
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.
free-monad-gen
Free Monad Generation Skill (PLUS +1)
gflownet
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
godel-machine
Schmidhuber's Gödel Machine: Self-improving systems that prove their own improvements. Darwin Gödel Machine (DGM) combines evolution with formal verification.
ihara-zeta
Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).
jaxlife-open-ended
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.
kan-extensions
Kan Extensions Skill (ERGODIC 0)
kolmogorov-compression
Kolmogorov complexity as the ultimate intelligence measure. Shortest program that outputs data.
localsend-mcp
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.
moebius-inversion
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
open-games
Open Games Skill (ERGODIC 0)
operad-compose
Operad Composition Skill (PLUS +1)
parallel-fanout
Metaskill that fans out on every interaction, using interaction entropy as SplitMixTernary seed for maximum synergistic parallelism
persistent-homology
Topological data analysis for stable feature verification across filtrations of code complexity.
ramanujan-expander
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth rules. Optimal expanders with λ₂ ≤ 2√(d-1) bound.
rezk-types
Rezk types (complete Segal spaces). Local univalence: categorical isomorphisms ≃ type-theoretic identities.
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely up to homotopy. Foundation for topological chemputer.
self-evolving-agent
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.
sheaf-cohomology
Čech cohomology for local-to-global consistency verification in code structure and data schemas.
sheaf-laplacian-coordination
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.
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation for infinite trace verification.
topos-generate
Topos Generation Skill (PLUS +1)
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.
CQ-AI: Deterministic Security Scanning with Ternary Polarity
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
Skill Maker: AI Skill Factory for Tools
Meta-skill that generates domain-specific AI skills from tool documentation
bdd-mathematical-verification
|
tailscale-file-transfer
Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics
acsets-relational-thinking
ACSets (Attributed C-Sets) for categorical database design and DPO rewriting
assembly-index
Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.
compression-progress
Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.
covariant-fibrations
Riehl-Shulman covariant fibrations for dependent types over directed intervals in synthetic ∞-categories.
crn-topology
Chemical Reaction Network topology for generating and analyzing reaction graph structures.
duckdb-temporal-versioning
Temporal versioning and interaction history with time-travel queries, causality tracking, and deterministic replay
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical constructions and model-independence.
mcp-tripartite
SKILL: MCP Tripartite Integration
reafference-corollary-discharge
Skill: Reafference & Corollary Discharge (von Holst Neuroscience)
synthetic-adjunctions
Synthetic adjunctions in directed type theory for ∞-categorical universal constructions.
system2-attention
System 2 attention mechanisms for deliberate, slow reasoning in transformer architectures.
Page 481 of 1656 · 82793 results