polyglot-spi
Cross-Language Strong Parallelism Invariance Verification for 15+ languages
pulse-mcp-stream
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence
skill-creator
Guide for creating effective skills. Use when users want to create a new skill (or update an existing skill) that extends Claude's capabilities with specialized knowledge, workflows, or tool integrations.
specter-navigator-gadget
Unified Specter/Navigator/3-MATCH architecture with bidirectional path compilation
structured-decomp
StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms
tuple-nav-composition
Tuple and product structure navigation with composition
type-inference-validation
Static type inference and validation for navigation paths
uv-discohy
UV/UVX/Ruff toolchain for DiscoHy Thread Operad with Python packaging and linting
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.
bisimulation-game
Bisimulation game for resilient skill dispersal across AI agents with GF(3) conservation and observational bridge types.
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
borkdude
Guidance for selecting the right ClojureScript runtime across scripting, browser, Node, and embedded use.
cider-clojure
CIDER integration for Clojure development with nREPL
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
epistemic-arbitrage
Propagator-based parallel structure for exploiting knowledge differentials across domains using local scoped propagators and SplitMixTernary RNG.
frontend-design
AI-guided UI/UX design patterns with Gay.jl deterministic colors
gay-mcp
Deterministic color generation with SplitMix64, GF(3) trits, and MCP tools for palettes and threads.
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
glass-bead-game
Hesse-inspired interdisciplinary synthesis game with Badiou triangle inequality for possible world hopping across mathematical, musical, and philosophical domains.
hatchery-papers
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.
mathpix-ocr
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
rama-gay-clojure
Red Planet Labs Rama with Gay.jl deterministic coloring for 100x backend development with gay-colored parentheses as expressive as tensor shapes.
rubato-composer
Rubato Composer integration for Mazzola's mathematical music theory
self-validation-loop
Run self-validation loops for triadic color systems using prediction vs observation and error minimization.
slime-lisp
SLIME integration for Common Lisp development
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.
squint-runtime
Squint ClojureScript runtime for minimal JS output compilation
three-match
3-MATCH gadgets and non-backtracking geodesics for 3-SAT via colored subgraph isomorphism.
triad-interleave
Interleave three deterministic color streams into balanced schedules for parallel execution and evaluation.
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.
Page 480 of 1656 · 82793 results