Research

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

Layer 5: SDE-Based Learning Analysis via Langevin Dynamics

Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.

Kolmogorov complexity as the ultimate intelligence measure. Shortest

Kolmogorov Codex Quest

Kinetic Block Skill

Write internal communications using company formats. Use when writing