Research

Unified ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.

Artificial Life atlas covering open-ended evolution, chemical reaction networks, morphogenesis, self-replication, and programmable chemistry. Use when picking a simulation framework, wiring ALife models into the skill graph, or onboarding contributors to the ALife cluster.

ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional

ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional navigation. Category-theoretic formalism for relational databases.

Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding papers, and academic research.

Hypothesis-Test Loops via REPL for Exploratory Abductive Inference

Formal oracle for abductive inference that selects the minimal hypothesis best explaining a set of observations. Provides three sub-oracles: MCMC via monad-bayes, Gemini for natural language, and propagator networks for constraint domains. Use when performing hypothesis selection, explaining observations, or solving inference-to-best-explanation problems.

Unified ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.

Gay MCP skill at invocation 13

Auto-grown skill at knight tour position 1

Directed Yoneda lemma as directed path induction. Riehl-Shulman's key

World memory is world remembering is world worlding - the autopoietic loop where memory enables remembering enables worlding enables memory

WEV Tesseract Skill

Ward Identity Checker

Voice Channel UWD Skill

Cronin's Turing-complete chemputer for programmable chemical synthesis

Topos Unified Skill

Adhesive categories for incremental query updating and pattern rewriting

Terminal multiplexer.

Real-time filesystem watcher for /tmp using Babashka fs.

3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction

LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style

Playful mutual ingression meets Leonid Levin's algorithmic bounds. Use for: playful exploration with theoretical guarantees, mutual ingression with convergence proofs, emergent solutions within complexity bounds, social computation meeting algorithmic optimality.

Identifies high-quality leads for your product or service by analyzing